integral 2^(1/2)