2^(1000000000/2) < (3/2)^1000000000