A Penrose-type inequality for static spacetimes - Brian Harvie (2024)