結果 : definite integral of step function