>>996
狭義単調増加なら、定義よりx≠yならばf(x)≠f(y)