Large deviation for return times

We prove a large deviation result for return times of the orbits of a dynamical system in a $r$-neighbourhood of an initial point $x$. Our result may be seen as a differentiable version of the work by Jain and Bansal who considered the return time of a stationary and ergodic process defined in a space of infinite sequences.