递化积分法

integration by successive reductions