Better estimate of the gradient with proof.