Erdős 374: classical square products of factorials
Formalization of classical factorial-square constructions, exclusion of prime endpoints, existence of minimum representation cardinalities for composite endpoints, and the cutoff D_k = empty for k greater than six. The density question from Erdős problem 374 is defined but not proved. No mathematical novelty or solution of the density problem is claimed.
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-10-07-000010
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-07-000010/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-07-000010/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'