Tim T. answered 03/25/19
Math: K-12th grade to Advanced Calc, Ring Theory, Cryptography
Yes. The Power Rule in differentiation continues throughout until Advanced Calculus. The Power Rule is also broken down and defined as a sequence proven in advanced mathematics; specifically the course of Real Analysis.
Proof: We prove the Power Rule viable to finding a derivative with positive integers n greater than or equal to 1 by using the binomial theorem plus definition of a derivative such that an exponential function xn possesses a derivative:d/dx (xn) = lim h->0 [f(x+h) - f(x)] / h = [(x+h)n-xn] / h and the binomial theorem (x+h)n = xn+nxn-1*h+[n(n-1)/2]*xn-2h2+***+nxhn-1+hn. We then replace (x+h)n with the sequence defined to obtain the derivative,
lim h->0 [xn+nxn-1*h+[n(n-1)/2]*xn-2h2+***+nxhn-1+hn] - xn all over h
= [nxn-1*h] / h = nxn-1.
(End Proof)