limit as x -> a of f(x) が存在するための条件は何ですか?