グリーン・タオ論文の§10を読む(その二)

この記事でGoldston-Yıldırım型定理Bを証明します。(再掲) Goldston-Yıldırım型定理B (Proposition, 9.6) を正整数とし、をを満たすような相異なる整数とし、とおく。を長さが以上であるような内の区間との共通部分として、と互いに素な整数をとる(以上、以外全て依存)。このとき、が成り立つ。証明. 前記事でのGoldston-Y…