The extension of Chebyshev inequality 2
Theorem
Let be a log-concave random variable with expected value and variable .
Let be a probability distribution function and hold for all .
Let as .
Let be .
Then, for any ,
.
For , if k satisfies the condition , the same inequality holds.
The simple examples are , , .
We have
.
.
.
Proof of Theorem
By assumption of log-concavity, the inequality follows on .
We subtract , devide by for this inequality and the limit , we have
.
We put , then we have
eq(1)
By this inequality, holds for x which satisfies and . So monotonically decreases on .
In the same way, we find monotonically increases on .
Then, we have .
We multiply and integrate eq(1) on , and apply integration by parts for LHS,
For RHS, we have
From these results, we have
eq(2)
Here, we put .
By definition of Pr, , and
is convex function for , and .
We can apply Jesen's inequality for the RHS term of eq(2).
.
We define as .
satisfies
Then we have
If the condition holds, deforming this inequality, we have
.