いや
>lim[h→0]f'(h)が有限な値に収束するときf'(0)は存在する
は根本的に違うだろ