09/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･･･)
URLﾘﾝｸ(mathworld.wolfram.com)