>収束先とは何か?
それに意味を持たせるために実数を定義する