>>209
t = x^2 として

∫_{t=0 to ∞} (√t)/(1+e^t) dt ≦ ∫(√t)/(e^t) dt
= ∫_{x=0 to ∞} 2 x^2 e^(-x^2) dx
= ∫_{x=0 to ∞} e^(-x^2) dx = (√π)/2