分布関数の単調性と微分可能性