He uses this assertion to evaluate real integrats.

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