The Riemannian Penrose inequality is the time-symmetric mass-area inequality for an asymptotically flat Riemannian manifold
of nonnegativescalar
curvature. For a minimal outer-minimizing boundary of total area , its normalization in dimension
is
A Schwarzschild-Tangherlini spatial metric attaining equality is
Bray, H. L. and Lee, D. A. "On the Riemannian Penrose Inequality in Dimensions Less than Eight." Duke Math. J.148,
81-106, 2009. https://doi.org/10.1215/00127094-2009-020.