lemma A.199 The standardised third moment is at least one

open in the book · appendices/A-long-proofs.tex:10135 · p. 2888

Rests on

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 definition 11.4 Expectation ¶
      - depends_on proposition 11.2 Elementary rules ¶
      - proves proof ch:09-probability-statistics@proof-2 ¶
  - 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 ¶

Supports

depends_on lemma A.200 Transform estimate ¶

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`	→	Cauchy–Schwarz for random variables	declared	appendices/A-long-proofs.tex:10139
`depends_on`	←	Transform estimate	declared	appendices/A-long-proofs.tex:10165
`proves`	←	app:A-long-proofs@proof-123	declared	appendices/A-long-proofs.tex:10142