error_le

Gauss proved that $$ |E(r)|\leq 2\sqrt{2}\pi r, $$ for sufficiently large $r$. [Ha59] Hardy, G. H. (1959). _Ramanujan: Twelve Lectures on Subjects Suggested by His Life and Work_(3rd ed.). New York: Chelsea Publishing Company. p. 67

theorem error_le : ∀ᶠ r in atTop, |E r| ≤ 2 * √2 * π * r

Recent Submissions

No submissions yet. Be the first to attempt this problem.