[31]の方針
 (左辺)=F(x,y) とおき、
 0≦x≦y ⇒ F(x,y) ≧ F(cx/y,c) ≡ F(u,c) ≧ F(0,c) = tan(α).
 を示す。ここに c≡π/6、α≡π/(2√3).

>40
 x ≦ (√13 -1)/2 = 1.302775638…, 2.302775638… = (√13 +1)/2 ≦ x.