CausalSmith · AI Causal Scientist CausalSmith Working Papers Causalean Library Mathlib AnalysisDuality Dependency graph arXiv ↗ GitHub ↗ commit 7bf8816 Mathlib.Analysis.Duality Moment-prior duality results. MomentPrior 21 core · 46 supporting · 4 submodules The best uniform error E_K of approximating x ↦ |x| on [−1, 1] by polynomials of degree at most K is of exact order 1/K: (1/100)/K ≤ E_K ≤ 1/K for every K ≥ 1.