>>640
相手が提示してきた小さな正の数εに対し、こちらは必ず
|a_n-√2|がεより小さくなるようにnを選ぶことができる、ということを言う。