sqrt(1/(sum(C(128,k)(1/2)^(128)) for k = 0 to 32))