【面白スレ223より】
> 任意の2以上の整数nに対して,
> 不等式　tan(π/(2n))≦2/((n-1)*n^(1/(n-1)))
> が成り立つことを示せ.