equation 11.31 eq:prob-expbound
open in the book ·
parts/02-mathematical-methods/09-probability-statistics.tex:1123
- part of a statement or proof
Rests on
No declared or derived dependency edges point away from this node yet.
Supports
- depends_on lemma A.200 Transform estimate ¶
- depends_on lemma A.197 The transform is differentiable at the origin ¶
-
depends_on
lemma A.185
Total remainder
¶
- depends_on lemma A.186 Replacement ¶
- depends_on theorem A.192 Berry–Esseen ¶
- step_from equation 11.32 eq:prob-taylor-truncate ¶
Neighborhood
Every logical edge within two steps of this node.
- declared and complete
- partly declared
- a check failed
- not graded
- declared in the source
- inferred from structure
Edges
| type | direction | node | provenance | where |
|---|---|---|---|---|
depends_on |
← | Transform estimate | declared | appendices/A-long-proofs.tex:10165 |
depends_on |
← | The transform is differentiable at the origin | declared | appendices/A-long-proofs.tex:10018 |
depends_on |
← | Total remainder | declared | appendices/A-long-proofs.tex:9546 |
depends_on |
← | Berry–Esseen | declared | appendices/A-long-proofs.tex:9845 |
step_from |
← | eq:prob-taylor-truncate | declared — take $n=2$ and $x=tX$, then split the expectation at $\abs{X}=K$ and use one branch of the minimum on each piece | parts/02-mathematical-methods/09-probability-statistics.tex:1158 |