8

$X$ is a discrete random variable that can take values from $(0,1)$. Since $\varphi(x)=1/x$ is a convex function, we can use Jensen's inequality to derive a lower bound: $$ E\left[\frac{1}{1-X}\right]\ge \frac{1}{1-E[X]}=\frac{1}{1-a} $$ Is it possible to derive an upper bound?

Mike
  • 83
  • 3
  • 1
    Consider what happens when X has an upper bound that approaches 1 from below. Now consider a distribution with that includes 1 with nonzero density. Now consider a discrete distribution, where 1 has nonzero probability. You may want to start with some restrictions – Glen_b Feb 26 '15 at 22:20
  • 1
    A generalization of this question can be applied to the random variable $1-X$ with expectation $1-a$ to obtain the answer immediately: see https://stats.stackexchange.com/questions/141766. The inequality provided there is tight: that is, the upper bound is attainable. It provides a useful (noninfinite) upper bound if the supremum of $X$ is less than $1$. – whuber Sep 09 '17 at 13:43

1 Answers1

5

There is no upper bound.

Intuitively, if $X$ has substantial support along a sequence approaching $1$, then $1/(1-X)$ could have a divergent (arbitrarily large) expectation. To show there is no upper bound, all we have to do is find a combination of support and probabilities that achieves the desired expectation of $a$. The following explicitly constructs such an $X$.


Assume $0 \lt \lambda \lt 1$ (to be chosen later) and $s \gt 1$ (also to be chosen later). Let $X$ take on the values $$a_n = 1 - \lambda n^{-s}$$ with probabilities $$p_n = \frac{n^{-s}}{\zeta(s)},$$ $n = 1, 2, \ldots $. Then

$$a = \mathbb{E}(X) = \sum_{n=1}^\infty p_n a_n = \frac{1}{\zeta(s)}\sum_{n=1}^\infty n^{-s}\left(1 - \lambda n^{-s}\right) = 1 - \lambda \frac{\zeta(2s)}{\zeta(s)}.$$

The range of $f(s) = \zeta(2s)/\zeta(s)$ is the interval $(0,1)$, as this partial graph indicates:

Figure of the zeta ratio

Selecting $\lambda$ such that $1-a \lt \lambda \lt 1$, pick $s \gt 1$ for which $f(s) = (1-a)/\lambda$; that is, $a = 1 - \lambda f(s)$. This constructs an $X$ with all the stated properties.

Consider

$$\mathbb{E}\left(\frac{1}{1-X}\right) = \sum_{n=1}^\infty p_n \frac{n^s}{\lambda} = \frac{1}{\lambda\zeta(s)}\sum_{n=1}^\infty 1.$$

The sum diverges. Consequently no upper bound is consistent with the stated conditions.

whuber
  • 281,159
  • 54
  • 637
  • 1,101