正の実数x_1, …, x_n
x_1+x_2+…+x_n≦x_1^3/x_n^2+x_2^3/x_1+x_3^3/x_2^2+…+x_n^3/x_(n-1)^2
大数