∫(√t)/(1+e^t) dt ≦(√π)/2 を証明したいのですがどうすればいいのでしょうか？
積分範囲は0から∞です。