Power function/Positive base/Real exponent/Fact/Proof

Proof

By definition, we have

The derivative with respect to equals

using fact, fact and the chain rule.