Second-moment bound for positivity

ID: second-moment-bound-for-positivity

For a nonnegative random variable with positive expected value and finite second moment, write . The Cauchy-Schwarz inequality gives
which proves the bound in second moment method. It is the zero-threshold case of the Paley-Zygmund inequality. Equality occurs when is a fixed positive value on the event and zero elsewhere, almost surely. For with a Bernoulli random variable of parameter , equals the exact positivity probability.
The variance identity turns the lower bound into a statement about variance relative to the squared mean. A small ratio forces positivity to be likely. A positive expected value alone does not do so: keeping while taking with probability and zero otherwise makes the positivity probability as small as any chosen .

New to topics? Read the docs here!