Establishes the asymptotic t(N)/N = 1/e - c0/log N + O(1/log^{1+c} N) with explicit c0 ≈ 0.304419 and computes t(N) explicitly to confirm t(N) ≥ N/3 for N ≥ 43632.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.NT 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Decomposing a factorial into large factors
Establishes the asymptotic t(N)/N = 1/e - c0/log N + O(1/log^{1+c} N) with explicit c0 ≈ 0.304419 and computes t(N) explicitly to confirm t(N) ≥ N/3 for N ≥ 43632.