What is the derivative of f(x)=(4/3)pi^3?