- 465 名前：１３２人目の素数さん mailto:sage [2009/09/20(日) 04:18:41 ]
- >>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･･･)
mathworld.wolfram.com/ShapirosCyclicSumConstant.html
