How to prove the power rule for positive integer exponents