>>464
ギリギリかどうか知らないけど
　(462の左辺) > λ･n,
　λ = 0.4976175155670･･･
というのがあるらしい。

(求め方)
点(0,1)を通る2つの関数
　y1:　y = e^(-x),
　y2:　y = 2/{e^x + e^(x/2)},
の function convex hull (共通接線?) を曳く。
　y = φ(x) = φ(0) + m･x,
　m = -0.903980192855258
　λ = (1/2)φ(0) = 0.4976175155670･･･
　y1 との接点は (log(-m), -m)
　y2 との接点は (-0.524821743429450･･･, 1.469663491974050･･･)

http://mathworld.wolfram.com/ShapirosCyclicSumConstant.html