>>852
t[i]=x[i]-1とおいてexp(t)≧1+t　を適用してi=1〜nの積を作ってみる。