定数関数g(x)=bだと上は定義されずfが微分可能だから下は定義されるのでこういうのは除外?とすると両者とも極限値が確定する場合にそれが一致することを等価?