Define the hyperbolic metric (in the sense of metric spaces) on the 3 -ball.

Given a finite set in hyperbolic 3 -space, show there is at least one closed ball of minimal radius containing that set.