>>926
なぜfは単調増加だとわかるのですか?