A Gibbons-Penrose inequality for surfaces in Schwarzschild spacetime

We propose a geometric inequality for two-dimensional spacelike surfaces in the Schwarzschild spacetime. This inequality implies the Penrose inequality for collapsing dust shells in general relativity, as proposed by Penrose and Gibbons. We prove that the inequality holds in several important cases.