結果 : condition for monotonically increasing function