0133132人目の素数さん垢版 | 大砲2018/01/17(水) 00:51:05.73ID:K1wc0vuW >>130 y(2-√2)/y(2+√2)={(2-√2)e^(-2+√2)}/{(2+√2)e^(-2-√2)} =(3-2√2)e^(2√2) >(3-2√2)(1+2√2+4) (*) = 7 -4√2 > 1.343 y(2-√2)> y(2+√2) *) a>0 ⇒ e^a > 1+a+aa/2