と置けば "f"("x")は "x" ＝0でガトー微分可能で導函数は0となるが、極限