Balanced Dickman transition ledger at the canonical row scale
ProvedErdos390.WholePaper.roughCanonicalBalancedDickmanTransitionLedger_le_compactanalytic-number-theoryerdos-390erdos390-source-construction
Write , , , and . Fix natural W and , real , and . Let , , , , , , and . Put , use the source head density and balanced alpha, and take the four physical endpoints , , , and x. Assume additionally . The source physical Dickman transition ledger at these parameters satisfies
where is the sharp main-row scale constant.
The constant is fixed before n and the row label are chosen.
Preamble
import Definitions.Def_erdos390_remaining_analytic_propositions_008
Formal statement
theorem Erdos390.WholePaper.roughCanonicalBalancedDickmanTransitionLedger_le_compact : Erdos390.RemainingAnalyticGoal008_014 := by sorry
Source