Pre-Chebychev inequality, random variables, expectation, cumulative distribution function