What is the derivative of 4x?