首先F(x)=e^x+e^-x
则F(k)*F(n-k+1)=[e^k+e^-k]*[e^(n-k+1)+e^-(n-k+1)]
=e^(n+1) + e^-(n+1) + e^(n-2k+1) + e^-(n-2k+1) (由于 e^(n-2k+1),e^-(n-2k+1)都大于0)
则上式>e^(n+1) + e^-(n+1)+2>e^(n+1)+2 (均值不等式,等号取不到)
F(1)F(2)……F(n)倒序相乘（联想等差的倒序相加）
即
F(1)F(2)……F(n)
F(n)F(n-1)……F(1)
上下俩俩对应相乘
有[F(1)F(2)……F(n)]^2>[e^(n+1)+2 ]^n 即F(1)F(2)……F(n)>[e^(n+1)+2]^(n/2）