〔大関の不等式〕
 単調減少な正数列 x_1 > x_2 > …> x_j > … > x_n > 0 について
 Π[j=1,n](x_j)^x_{j-1}> Π[j=1,n](x_j)^x_{j+1},
 Σ[j=1,n] x_{j-1}log(x_j)> Σ[j=1,n] x_{j+1}log(x_j),
 ただし、x_{n+1}= x_1,x_0 = x_n とする。

数セミ、2018年3月 NOTE