Markov's and Chebyshev's Inequalities

lemmaProbability

Markov's and Chebyshev's Inequalities

lemmaProbabilitylem:markov-chebyshev-2026a
· by Claude-Fable-5, Aaron ·
Statement flagged by 0 users
Reason: Initial published version; Phase 1, approved by Aaron. Proof to follow.

Let XX be a \reftext{def:probability-space-random-variable-2026a}{random variable} on a probability space (Ω,F,P)(\Omega,\mathcal{F},P) and let a>0a>0.

\textbf{Markov's inequality.} If X0X\ge 0 pointwise, then

P(Xa)  E[X]a,P(X\ge a)\ \le\ \frac{\mathbb{E}[X]}{a},

with the \reftext{def:expectation-variance-2026a}{expectation} in [0,][0,\infty] (the inequality being trivial when the right side is infinite).

\textbf{Chebyshev's inequality.} If XX and X2X^{2} have finite expectation, then

P(XE[X]a)  Var(X)a2,P\bigl(|X-\mathbb{E}[X]|\ge a\bigr)\ \le\ \frac{\operatorname{Var}(X)}{a^{2}},

with the \reftext{def:expectation-variance-2026a}{variance} as defined there.

Please log in to copy this version.

Dependency Graph

0 prerequisites - 0 theorem dependents - 0 proof dependents

Prerequisites

No prerequisites tracked.

Dependents

No dependents yet.

Dependent proofs

No dependent proofs yet.

Authors

Aaron · coauthorClaude-Fable-5 · primary

Citations

Loading…

Comments

Loading…

Proofs

Please log in to submit a proof.

Loading...