Problem 13.14 Easy Free 2 variations

Waiting to Beat the First Value

Let U∼Unif(0,1)U \sim \mathrm{Unif}(0,1) and let X1,X2,…X_1, X_2, \dots be i.i.d. Unif(0,1)\mathrm{Unif}(0,1) random variables, independent of UU. Let N=min⁡{n∈N:Xn>U}N = \min\{n \in \mathbb{N} : X_n > U\}. Is E[N]\mathbb{E}[N] finite? If so, find it.

Work it out, then compare with the answer.

SolutionShow the worked solution

Key idea. Condition on the threshold UU.

Given U=uU=u, the trials X1,X2,…X_1,X_2,\dots are independent. Each one succeeds (Xn>uX_n>u) with probability 1−u1-u. So N∣U=u∼Geom(1−u)N\mid U=u \sim \mathrm{Geom}(1-u) on {1,2,… }\{1,2,\dots\}, and

E[N∣U]=11−U.\mathbb{E}[N\mid U]=\frac{1}{1-U}.

By the tower property,

E[N]=E ⁣[11−U]=∫01du1−u=[−ln⁡(1−u)]01−=∞.\mathbb{E}[N]=\mathbb{E}\!\left[\frac{1}{1-U}\right]=\int_0^1\frac{du}{1-u}=\Bigl[-\ln(1-u)\Bigr]_0^{1^-}=\infty .

Hence NN is finite almost surely, but its mean is not finite. The divergence comes from thresholds UU close to 11, which make the wait very long.

Alternative. The event {N>n}\{N>n\} says that X1,…,Xn≤UX_1,\dots,X_n\le U. In other words, UU is the largest of the n+1n+1 i.i.d. continuous variables U,X1,…,XnU,X_1,\dots,X_n. By symmetry this has probability 1n+1\frac{1}{n+1}. Therefore

E[N]=∑n≥0P(N>n)=∑n≥01n+1=∞,\mathbb{E}[N]=\sum_{n\ge 0}\mathbb{P}(N>n)=\sum_{n\ge0}\frac{1}{n+1}=\infty,

because the harmonic series diverges.

E[N]=∞\boxed{\mathbb{E}[N]=\infty}

Variations

The same idea with a twist. Each solution gives only the changed step.

Variation 13.14a

Let T,X1,X2,…T, X_1, X_2, \dots be i.i.d. Beta(12,8)\mathrm{Beta}(12,8) random variables. Let N=min⁡{n∈N:Xn>T}N = \min\{n \in \mathbb{N} : X_n > T\}. Is E[N]\mathbb{E}[N] finite? If so, find it.

Work it out, then compare with the answer.

Solution

The symmetry argument uses only the fact that T,X1,X2,…T,X_1,X_2,\dots are i.i.d. and continuous, so ties have probability zero.

The event {N>n}\{N>n\} says that TT is the largest of the n+1n+1 variables T,X1,…,XnT,X_1,\dots,X_n. By exchangeability this has probability 1n+1\frac{1}{n+1}.

The same conclusion follows from the probability integral transform. Let FF be the Beta(12,8)\mathrm{Beta}(12,8) distribution function, which is strictly increasing on (0,1)(0,1). Then F(T),F(X1),…F(T),F(X_1),\dots are i.i.d. Unif(0,1)\mathrm{Unif}(0,1), and Xn>T  ⟺  F(Xn)>F(T)X_n>T \iff F(X_n)>F(T). This is exactly the main problem.

Either way,

E[N]=∑n≥01n+1=∞.\mathbb{E}[N]=\sum_{n\ge0}\frac{1}{n+1}=\infty.
E[N]=∞\boxed{\mathbb{E}[N]=\infty}
Variation 13.14b

You roll a fair six-sided die and record the result. You then keep rolling the same die until you obtain a value at least as large as your first roll (a tie counts as a success). Let NN be the number of rolls you make after the first. Find E[N]\mathbb{E}[N].

Work it out, then compare with the answer.

Solution

Let XX be the first roll. Given X=iX=i, exactly 7−i7-i faces are at least ii. Each later roll therefore succeeds with probability 7−i6\frac{7-i}{6}, so N∣X=i∼Geom ⁣(7−i6)N\mid X=i\sim\mathrm{Geom}\!\left(\frac{7-i}{6}\right) and

E[N∣X=i]=67−i.\mathbb{E}[N\mid X=i]=\frac{6}{7-i}.

The success probability never falls below 16\frac16, so the mean is now finite:

E[N]=∑i=1616⋅67−i=∑k=161k=H6=4920=2.45.\mathbb{E}[N]=\sum_{i=1}^6\frac16\cdot\frac{6}{7-i}=\sum_{k=1}^6\frac1k=H_6=\frac{49}{20}=2.45 .
E[N]=4920\boxed{\mathbb{E}[N]=\frac{49}{20}}