数列の完全性に関するBrownの判定法

今、我々はGrahamの定理の証明を理解することを目標としています: integers.hatenablog.comこの記事では証明のための準備として、数列の完全性に関するBrownの判定法を紹介します。定義 正の実数からなる数列に対し、集合をで定める(の相異なる項の有限和として表される数全体のなす集合)。このとき、が完全であるとは、…