Derivative of power function
\frac{d}{dx}[x^n] = nx^{n-1}
Definition of derivative as a limit
Fundamental theorem of calculus
Product rule for integration