proof ch:09-probability-statistics@proof-46

open in the book · parts/02-mathematical-methods/09-probability-statistics.tex:3239

Rests on

No declared or derived dependency edges point away from this node yet.

Supports

Nothing declares a dependency on this node yet.

Neighborhood

Every logical edge within two steps of this node.

proof : ch:09-probability-statistics@proof-46proofcorollary 11.105: Trials factor at high significance11.105definition 11.96: Local, global, trials factor11.96theorem 11.101: Davies' bound11.101theorem 11.103: Level dependence of the mean upcrossing count11.103

Edges

typedirectionnode provenancewhere
proves Trials factor at high significance declared parts/02-mathematical-methods/09-probability-statistics.tex:3239