>>702
lim[x→a]{1/{g(x)/(x-a)}}の収束を、g(x)のaでの微分可能が事後的に担保すると？