0 \leq \displaystyle \lim_{n \to \infty} \frac{1}{\lambda}\left( \int_0^T( L (\gamma + \lambda \varphi, \dot{\gamma} + \lambda \dot{\varphi}) - L( \gamma, \dot{\gamma}))dt \right)