結果 : step function in real analysis