This document discusses proving an inequality related to a function and an expectation. It involves showing that if a function is greater than or equal to itself, then the probability that x is greater than some value times the expectation of x is greater than or equal to x.