微分可能で単調増加とかの条件は?