Open Research Index

Carry and divisor-channel criteria for the factorial-minus-one reciprocal series

Will Cook

Palomar Registrypalomar/PALOMAR-2026-10-22-000040Oct 22, 2026math.NTscore 0

For the reciprocal series with denominators n! - 1, the selected Lean theorems give an exact carry characterization of rationality, divisor-channel coordinates, and a finite gcd moment certificate. Companion-orbit and complementary tail criteria are included with their stated hypotheses. These structural results do not certify the paper's large computed denominator exclusions or resolve the irrationality question.

SourceRepositoryJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/palomar/PALOMAR-2026-10-22-000040
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-22-000040/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-22-000040/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'