On the sum of a prime and a square-free number
Conditional on one explicit hypothesis, AP12Lower 0.21, taken as a hypothesis of the theorem and never as an axiom: for every integer x >= 10^9, each reduced residue class mod 12 holds more than 0.21 x / log x primes p 2 is the sum of a prime and a square-free number. AP12Lower 0.21 is implied by Corollary 1.6 of M. A. Bennett, G. Martin, K. O'Bryant and A. Rechnitzer, Explicit bounds for primes in arithmetic progressions, Illinois J. Math. 62, 2018, which gives 1/4 in place of 0.21; the entry proves that implication in Lean, with the corollary itself stated as a hypothesis. The even case,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-10-29-000035
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-29-000035/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-29-000035/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'