Derivative as a function, higher order derivatives, differentiability implies continuity (not the converse), vertical tangent lines