Within-cell displacement of the fully-real fractional correction
ProvedErdos390.WholePaper.roughSaiasFullyRealBaseFreeFractionalIntegral_hyperbola_cell_abs_sub_le_compactanalytic-number-theoryerdos-390erdos390-source-construction
Let , , be natural numbers with , and let be real. Write for the fully-real base-free fractional integral, and for the integrated cell oscillation ledger. Then
The bound transfers pointwise kernel oscillation to the continuous correction integral.
Preamble
import Definitions.Def_erdos390_remaining_analytic_propositions_008
Formal statement
theorem Erdos390.WholePaper.roughSaiasFullyRealBaseFreeFractionalIntegral_hyperbola_cell_abs_sub_le_compact : Erdos390.RemainingAnalyticGoal008_027 := by sorry
Source