definite integral 定积分

参见 integration。