Greenova–Taova věta

Tento článek není dostatečně ozdrojován, a může tedy obsahovat informace, které je třeba ověřit.

Jste-li s popisovaným předmětem seznámeni, pomozte doložit uvedená tvrzení doplněním referencí na věrohodné zdroje.

---

Komentář: Bez zdrojů, lze doplnit např. dle enwiki

Greenova-Taova věta je tvrzení z oboru teorie čísel dokázané v roce 2004 Benem Greenem a Terencem Taem, které říká, že posloupnost prvočísel obsahuje libovolně dlouhé aritmetické posloupnosti. Jinými slovy, pro libovolné přirozené číslo k lze nalézt k-prvkovou aritmetickou posloupnost prvočísel. Věta je rozšířením Szemerédiho věty a je speciálním případem Erdősovy-Turánovy hypotézy.

Věta je čistě existenční tvrzení a důkaz nenabízí konstrukční postup, jak slibované existující posloupnosti nalézt.

Tento článek je příliš stručný nebo postrádá důležité informace. Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty.