Summed real-hyperbola oscillation ledgers
ProvedErdos390.WholePaper.sum_roughSaiasFullyRealHyperbolaCellFractionalOscillationLedger_le_two_inv_log_compactanalytic-number-theoryerdos-390erdos390-source-construction
Let and be natural numbers with . Denote by the canonical integrated fully-real hyperbola cell fractional-oscillation ledger, using common cap . Then
This supplies a summable deterministic bound for within-cell fractional corrections.
Preamble
import Definitions.Def_erdos390_remaining_analytic_propositions_008
Formal statement
theorem Erdos390.WholePaper.sum_roughSaiasFullyRealHyperbolaCellFractionalOscillationLedger_le_two_inv_log_compact : Erdos390.RemainingAnalyticGoal008_034 := by sorry
Source