Erdős Problem 935: powerful parts of products of consecutive integers
For the powerful part Q_2(m) of m, this formalization proves that limsup Q_2(n(n+1)...(n+l))/n^2 is infinite for every l >= 2 (the second question of Erdős Problem 935), and at least 1 for every l >= 1 (a consequence of a result of Mahler noted by Erdős). Both use solutions of the Pell equation x^2 = 8y^2 + 1.
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-11-01-000027
curl -X POST /api/v1/records/palomar/PALOMAR-2026-11-01-000027/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-11-01-000027/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'