integers https://blog.hatena.ne.jp/integers/ INTEGERS https://integers.hatenablog.com/ 等間隔に並ぶ素数を追い求めて 密度昇格定理 は非有界かつ二重カウンティング性質を満たすと仮定する。のに沿った上密度がであるとき、非有界かつ二重カウンティング性質を満たすであって、のに沿った密度が存在し、が成り立つようなものが存在する。証明. を十分遅くとなるようなとのみに依存する広義単調減少関数とする(どれだけ十分遅くとるかは後で指定する)。このを用いて、をと定義する。の速度に関する一つ目の指定: 記事４の②より、任意のに対していくらでも長さが大きいであってが成り立つようなものが存在する。そこで、各に対して、, , となるようにを選び、が成り立つだけ遅くとなるものとする。すると、なので、は非有界であることがわかる。また、で… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fintegers.hatenablog.com%2Fentry%2F2017%2F12%2F12%2F000000" title="セメレディの定理の組合せ論的証明ー５ - 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 2017-12-12 00:00:00 rich https://integers.hatenablog.com/entry/2017/12/12/000000 1.0 100%