Integral of sqrt(1-2x)