limit as x -> a of f(x) が存在するには、 f(a) が定義されている必要がありますか？