s=1*2*3*4*…とおくと、
Wallisの公式から
π/2=(2*2*4*4*6*6*…)/(1*3*3*5*5*7*…)
　　=(2*2*2*2*4*4*4*4*6*6*6*6*…)/(1*2*2*3*3*4*4*5*5*6*6*7*…)
　　=(2*4*6*8*…)^4/s^2

ここで、
log_2(2*4*6*8*…)=log_2(s*2*2*2*2*…)
　=log_2(s)+1+1+1+1+…=log_2(s)-1/2
なので、2*4*6*8*…=s/√2

したがって、
s=√(2*π)