Let $M$ be a Riemannian manifold. $r:M\to [0,+\infty]$ denotes the function assigns to $p\in M$ the injectivity radius $r\_p$ of the exponential map $\exp\_p$. 

> 
> Is this function $r$ is continuous or even smooth? If not, what additional conditions could guarantee the continuity of $r$?
> 
> 
>