Use the definition of the derivative f(x) = x + sqrt(x) to prove D[x+sqrtx]=1+1/2sqrtx
This shows how to use the definition of the derivative in a proof.