a<bならばf(a)<f(b)であるとき増加関数という