A Penrose-type inequality for static spacetimes

We establish a lower bound on the ADM mass of the time slices of $(n + 1)$-dimensional asymptotically flat standard static spacetimes under the timelike convergence condition. This extends the Minkowski inequality for static vacuum spacetimes, which relates the total mass of a time slice to the area and total mean curvature of its boundary. As a corollary, we obtain the Riemannian Penrose inequality in all dimensions and with rigidity for static manifolds under the TCC.
Comment: 15 pages, no figures, comments welcome!