Proof of power rule for square root function