number-theory / Transcendence theory

Transcendence in the affine case of Erdős Problem 270

For integers $a\geq1$ and $b\geq1-a$, the series $C_{a,b}=\sum_{n=1}^{\infty} n!/((a+1)n+b)!$ is transcendental. Equivalently, the series in Erdős Problem 270 is transcendental whenever $f(n)=an+b$ is a positive integer-valued affine function.

12Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

number-theoryAug 22, 2026Significance 12/100Registry: unreviewed

Transcendence in the affine case of Erdős Problem 270

Prior state unknownproved

The manuscript claims $C_{a,b}$ is transcendental for every $a\ge1$ and $b\ge1-a$, settling the positive integer-valued affine subclass of Erdős Problem 270. Two pieces of context matter. Problem 270 as Erdős and Graham posed it, for every $f(n)\to\infty$, was already answered no by Crmarić and Kovač in 2025: for any $\alpha>0$ some such $f$ makes the series sum to $\alpha$. What survives is the non-decreasing cas…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

For integers $a\geq1$ and $b\geq1-a$, the series $C_{a,b}=\sum_{n=1}^{\infty} n!/((a+1)n+b)!$ is transcendental. Equivalently, the series in Erdős Problem 270 is transcendental whenever $f(n)=an+b$ is a positive integer-valued affine function.

The manuscript claims $C_{a,b}$ is transcendental for every $a\ge1$ and $b\ge1-a$, settling the positive integer-valued affine subclass of Erdős Problem 270. Two pieces of context matter. Problem 270 as Erdős and Graham posed it, for every $f(n)\to\infty$, was already answered no by Crmarić and Kovač in 2025: for any $\alpha>0$ some such $f$ makes the series sum to $\alpha$. What survives is the non-decreasing case, and the affine family sits inside it. Separately, the checkable parts here were already known - the short irrationality proof for $C_{1,0}$ is Crmarić and Kovač's, posted by Kovač on the Erdős Problems forum in July 2026 and credited in the repository, and base-case transcendence follows a 2023 MathOverflow argument. The new content is the extension to the whole affine family, which is the part with neither formalization nor review.

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.