>>545
[Snellius-Huygens の不等式]
0<θ<π/2 のとき
　(2sinθ + tanθ)/3 > θ,
　(sinθ, sinθ, tanθ の相加平均) > θ,
(略証)
　sinθ + sinθ + tanθ
　=∫[0,θ] (cosθ' + cosθ' + 1/(cosθ')^2} dθ'
　=∫[0,θ] {3 + (1+2cosθ')(1-cosθ')^2 /(cosθ')^2} dθ'
　>∫[0,θ] 3 dθ'　　　　　(AM-GM)
　= 3θ,　　　　　　　　　　(終)