What is the derivative of sqrt( 2)?