関数fが点aで連続であることと、aに収束する任意の数列a_nに対して、f(a_n)がf(a)に収束することは同値