結果 : bounded function definition in real analysis