まず無限の定義が必要だな。