1/x1 + 1/x2 + 1/x3 + … + 1/xn <1
(但し、x1,x2,x3,…,xnは正の整数)
を満たす左辺の最大値を与えるx1〜xnは、
x1=2 ,x(n+1)=Π(k=1〜n)xk +1

という定理、結果はよく見るが、
証明は知らない。(名前すら知らないので調べようがない)

これを認めれば�Eは解けるか?