integers https://blog.hatena.ne.jp/integers/ INTEGERS https://integers.hatenablog.com/ Grahamの定理 過去の記事を読むには上のカテゴリーをクリックしてください。定理１ を正の整数からなる数列であって、 は半完全 は非有界 は有界 を満たすようなもの、 (はを満たす正整数)を は-近似可能 はのある項を割り切る を満たすような正の有理数とする。このとき、が成り立つ。証明. 1.1 は有界という仮定から、或るが存在してが成り立つ。1.2 正の整数を固定する。1.3 と表す。.1.4 正整数をとなるように選ぶ(が非有界という仮定から存在が分かる)。1.5 正整数であってのどの項にもの有限個の積として表した際には現れない。を満たすようなものが存在する。1.6 をの敷居とする。は半完全という仮定より有限… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fintegers.hatenablog.com%2Fentry%2F2016%2F09%2F13%2F131314" title="Grahamの第一論文を読む ー③ - INTEGERS" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn.blog.st-hatena.com/images/theme/og-image-1500.png Hatena Blog https://hatena.blog 2016-09-13 13:13:14 rich https://integers.hatenablog.com/entry/2016/09/13/131314 1.0 100%