>800
Snelliusの式
　3θ < 2{ 2sin(θ/2) + tan(θ/2) } = 4√{(1-cosθ)/2} + 2√{(1-cosθ)/(1+cosθ)}.
で　θ=π/6 とおくと、
　π/2 < (√6 -√2) + 2(2-√3) = (4+√6) -(√2 +2√3).
ところで、5-2√6 = 1/(5+2√6) >0,　2(4+√6) -(3√2 +5√3) = -(5-2√6)/{2(4+√6) +(3√2 +5√3)} <0 より
　π/2 < (1/2)(√2 + √3).