Hyperbolic Volume of Manifolds with Geodesic Boundary and Orthospectra

In this paper we describe a function F _n : R ₊ → R ₊ such that for any hyperbolic n-manifold M with totally geodesic boundary ${\partial M \neq \emptyset}In this paper we describe a function F _n : R ₊ → R ₊ such that for any hyperbolic n-manifold M with totally geodesic boundary ?M 1 ?{\partial M \neq \emptyset} , the volume of M is equal to the sum of the values of F _n on the orthospectrum of M. We derive an integral formula for F _n in terms of elementary functions. We use this to give a lower bound for the volume of a hyperbolic n-manifold with totally geodesic boundary in terms of the area of the boundary.