the fairly weak assumption that is continuously differentiable, we may prove that:This inequality implies that the amount by which we can be sure the function is decreased depends on a trade off between the two terms in square brackets. The first term in square brackets measures the angle between the descent direction and the negative gradient. The second term measures how quickly the gradient changes along the descent direction.

In principle inequality could be optimized over and to choose an optimal step size and direction. The