√2 + √3 ＞ π,

(略証)
Snellius-Huygens より
　4{2sin(π/12) + tan(π/12)} ＞ 4･3･(π/12) = π　……(*)

一方
　sin(π/12) = (√6 -√2)/4,
　tan(π/12) = 2 - √3,
より
　√2 + √3 - 4{2sin(π/12) + tan(π/12)}
　= √2 + √3 - 4{(√6 -√2)/2 + (2 -√3)}
　= (√2 -1)^2･(2 -√3)^2･(√3 -√2)
　> 0,
　√2 + √3 ＞ 4{2sin(π/12) + tan(π/12)}　　…(**)

(*)(**) より出る。(終)

[第3章.433、451-452]