Bevis for differentialkvotient for kvadratrod x