Proof of the Directional Derivative Formula, Real Analysis