{"id":"palomar/PALOMAR-2026-11-01-000027","url":"https://github.com/veljjanoski/erdos935-palomar/tree/80decbdd1cca367db2185caf5e62acefc28a71d6","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-11-01-000027-v1.json","repo":"https://github.com/veljjanoski/erdos935-palomar","tags":["math.NT","msc:11N25","msc:11D09"],"score":0,"title":"Erdős Problem 935: powerful parts of products of consecutive integers","trust":"high","domain":"math.NT","source":"palomar","authors":["Daniel Veljjanoski"],"reviews":0,"subject":"math.NT","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-11-01","reactions":{},"formalized":true,"formalizes":[{"title":"Problems and results on number theoretic properties of consecutive integers and related questions","identifier":"","relationship":"formalizes"}]}