Bổ đề 1: ex>1+x,∀x>0, chứng minh bằng đạo hàm.
Bổ đề 2: I=1∫011+x2dx=π4
Thật vậy, đặt x=tant,t∈[−π2;π2]
Suy ra: dx=(1+tan2t)dt
Đổi cận: x=0⇒t=0
x=1⇒t=π4
Từ đó: I=π4∫01+tan2t1+tan2tdt=π4∫0dt=π4
Quay lại bài toán ta có:
e11+x2>1+11+x2
⇒1∫0e11+x2dx>1∫0(1+11+x2)dx=1+π4