He uses this assertion to evaluate real integrals.

• 他利用这个断言去求实积分的值。