0246132人目の素数さん
2019/07/17(水) 00:58:00.64ID:d6A0g1cK解1
exp(xx) > 1+xx より
(与式) < ∫[0,a] 1/(1+xx)^2 dx
= (1/2)a/(1+aa) + (1/2)arctan(a)
< π/4
= 0.7853981634
解2
GM-AM より exp(-xx)/(1+xx) < {1/(1+xx)^2 + exp(-2xx)}/2,
(与式) < (1/4)a/(1+aa) + (1/4)arctan(a) + (1/8)√(2π)erf((√2)a)
< {π + √(2π)}/8
= 0.706027616
なお、真値は (eπ/2)・erfc(1) = 0.67164671