J(\gamma + \lambda \varphi) \geq J(\gamma) \\
\displaystyle \lim_{n \to \infty} \frac{1}{\lambda}\left( J(\gamma + \lambda \varphi) - J(\gamma) \right) \geq 0