Consider all radial geodesics eminating from . Then, the infimum of injectivity radii over the set is attained, as is compact. Maybe you will be required to additionaly show the ball is convex,

a fact I find reasonable... but can't produce a formal proof at the moment. :P

ps. disregard that. it's fairly simple