Proof: d/dx(sqrt(x))