実数変数実数値函数で微分可能なところでは微分が0より大きいところは局所的単調増加で微分が0より小さいところは局所的単調減少になる.
特に微分可能で微分が0にならないところは極大にも極小にもならない.