lemma A.200 Transform estimate

open in the book · appendices/A-long-proofs.tex:10155 · p. 2889

Rests on

depends_on equation 11.31 eq:prob-expbound ¶
depends_on lemma A.199 The standardised third moment is at least one ¶
- depends_on lemma 11.63 Cauchy–Schwarz for random variables ¶
  - depends_on definition 11.11 Covariance and correlation ¶
    - depends_on definition 11.6 Moments, variance, standard deviation ¶
      - depends_on proposition 11.5 Transfer, linearity, monotonicity ¶
    - depends_on proposition 11.5 Transfer, linearity, monotonicity ¶ ↺
  - depends_on definition 11.6 Moments, variance, standard deviation ¶ ↺
  - proves proof ch:09-probability-statistics@proof-24 ¶
- proves proof app:A-long-proofs@proof-123 ¶
depends_on proposition 11.43 Elementary properties ¶
- depends_on definition 11.42 Characteristic function ¶
- proves proof ch:09-probability-statistics@proof-15 ¶
proves proof app:A-long-proofs@proof-124 ¶

Supports

Nothing declares a dependency on this node yet.

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`	→	eq:prob-expbound	declared	appendices/A-long-proofs.tex:10165
`depends_on`	→	The standardised third moment is at least one	declared	appendices/A-long-proofs.tex:10165
`depends_on`	→	Elementary properties	declared	appendices/A-long-proofs.tex:10165
`proves`	←	app:A-long-proofs@proof-124	declared	appendices/A-long-proofs.tex:10168