theorem A.198 Esseen's smoothing inequality

Rests on

• depends_on lemma A.196 Inversion for a difference ¶
  • depends_on lemma A.195 Riemann–Lebesgue, continuous compactly supported case ¶
    • depends_on theorem 7.25 Heine–Cantor: uniform continuity ¶
      • depends_on proposition 7.22 Sequential characterization ¶
        • depends_on definition 7.20 Continuity at a point ¶
        • depends_on definition 7.4 Convergence ¶
        • proves proof ch:05-real-analysis@proof-7 ¶
      • depends_on theorem 7.7 Bolzano–Weierstrass ¶
        • depends_on corollary A.45 Archimedean property and density of $\Q$ ¶
        • depends_on corollary A.46 Monotone convergence ¶
        • proves proof ch:05-real-analysis@proof-4 ¶
      • proves proof ch:05-real-analysis@proof-10 ¶
    • proves proof app:A-long-proofs@proof-119 ¶
  • depends_on theorem A.177 Fourier inversion for a distribution function ¶
    • depends_on definition 11.42 Characteristic function ¶
    • depends_on lemma A.172 Dirichlet ¶
      • depends_on equation 7.28 eq:ana-parts ¶
      • depends_on theorem 7.43 Fundamental theorem of calculus, II ¶
        • depends_on definition 7.41 Antiderivative ¶
        • depends_on theorem 7.42 Fundamental theorem of calculus, I ¶
        • proves proof ch:05-real-analysis@proof-25 ¶
      • proves proof app:A-long-proofs@proof-100 ¶
    • proves proof app:A-long-proofs@proof-104 ¶
  • proves proof app:A-long-proofs@proof-120 ¶
• depends_on lemma A.194 The Fejér kernel and its transform ¶
  • depends_on lemma A.193 A cosine integral ¶
    • depends_on equation 7.28 eq:ana-parts ¶ ↺
    • depends_on lemma A.172 Dirichlet ¶ ↺
    • proves proof app:A-long-proofs@proof-117 ¶
  • proves proof app:A-long-proofs@proof-118 ¶
• proves proof app:A-long-proofs@proof-122 ¶

Supports

Nothing declares a dependency on this node yet.