🚨Open Theorems Alert #07
0x0007 :: Erdős Problem #10 (Granville und Soundararajan)
Gibt es so etwas, sodass jede ganze Zahl die Summe einer Primzahl und höchstens Potenzen von ist?
Granville und Soundararajan [GrSo98] haben vermutet, dass höchstens Potenzen von für alle ungeraden Zahlen ausreichen, und somit höchstens Potenzen von für alle geraden Zahlen ausreichen.
Ref: Granville, A. und Soundararajan, K., Ein binäres additives Problem von Erdős und die Ordnung von mod
Vorgeschlagene Schwierigkeit: Anfänger
Belohnung: 10 $CTK
Reiche deinen Beweis ein oder trage zur Finanzierung bei.
Überprüfe die Wahrheit on-chain:
https://t.co/V30liuCbVW
#OpenMath #OpenTheorems #Lean
0x0007 :: Erdős Problem #10 (Granville und Soundararajan)
Gibt es so etwas, sodass jede ganze Zahl die Summe einer Primzahl und höchstens Potenzen von ist?
Granville und Soundararajan [GrSo98] haben vermutet, dass höchstens Potenzen von für alle ungeraden Zahlen ausreichen, und somit höchstens Potenzen von für alle geraden Zahlen ausreichen.
Ref: Granville, A. und Soundararajan, K., Ein binäres additives Problem von Erdős und die Ordnung von mod
Vorgeschlagene Schwierigkeit: Anfänger
Belohnung: 10 $CTK
Reiche deinen Beweis ein oder trage zur Finanzierung bei.
Überprüfe die Wahrheit on-chain:
https://t.co/V30liuCbVW
#OpenMath #OpenTheorems #Lean