1 / ( x2 + 1 ) の0から1の定積分の値が π / 4 であることを覚えていれば暗算で解けます。 ln 2 ≒ 0.69・・・ も覚えていれば暗算で見直しできます。 07年東大理系第6問より 0.68 < ln 2 < 0.71 を使ってもいいでしょう。