累積分布関数
相補累積分布関数 (complementary cumulative distribution function, CCDF) とは、以下で定義される関数。この確率は上側確率 (upper-tail probability) とも呼ばれる。
F ̄ X ( x ) = P  ( X > x ) = 1 − F X ( x ) {\displaystyle {\bar {F}}_{X}(x)=\operatorname {P} (X>x)=1-F_{X}(x)}