0432132人目の素数さん垢版 | 大砲2018/02/13(火) 19:30:46.26ID:ZOqrSE8B 〔大関の不等式〕 単調減少な正数列 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