Balanced Saias transition budget at the canonical row scale
ProvedErdos390.WholePaper.roughCanonicalBalancedSaiasTransitionBudget_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. The source physical Saias transition budget , using the inverse-log-square endpoint rate at the sharp Saias defect constant, satisfies
Here is the sharp transition-row scale constant.
The three weighted sharp Saias pair budgets have the same uniform scale as the Dickman contribution.
Preamble
import Definitions.Def_erdos390_remaining_analytic_propositions_008
Formal statement
theorem Erdos390.WholePaper.roughCanonicalBalancedSaiasTransitionBudget_le_compact : Erdos390.RemainingAnalyticGoal008_015 := by sorry
Source