The derivative of x² at any point using the formal definition