Definition of Derivative and Vertical Tangent Line