Introduction
A larger chance of success on each trial should make a target easier to reach. For geometric and negative binomial waiting times, this intuition has precise consequences: completion times become stochastically shorter, their means decrease, and their quantiles cannot increase. But one tempting extension is false: the probability of completing on one particular trial does not have to move in the same direction. Keeping these distinctions clear is useful whenever a process consists of repeated independent attempts.
Throughout, assume trials are independent, each trial has the same success probability \(p\), and \(0<p<1\). The target is fixed while \(p\) changes. These assumptions matter: if the trial probabilities change over time or trials are dependent, the formulas and comparisons below need not apply.
The final trial in \(T_r=t\) must be a success. Among the first \(t-1\) trials, exactly \(r-1\) must be successes; the binomial coefficient counts the possible arrangements. For \(r=1\), the formula reduces to \(P(T_1=t)=p(1-p)^{t-1}\), the geometric probability mass function.
What Increasing \(p\) Changes
For a fixed target \(r\), the mean and variance of the waiting time are
Thus, increasing \(p\) decreases the mean. It also decreases the variance: \((1-p)/p^2=1/p^2-1/p\) has derivative \((p-2)/p^3\), which is negative for \(0<p<1\). These are statements about the expected waiting time and its spread, not a claim that every individual probability in the mass function decreases.
For a deadline of \(n\) trials, completion by that time means at least \(r\) successes among the first \(n\) trials. If \(B_n\) is the number of successes in those trials, then \(B_n\sim\operatorname{Bin}(n,p)\), and
When \(n<r\), this probability is zero. The deadline probability increases with \(p\), as the coupling argument below establishes. A waiting-time quantile also moves in a predictable direction. For \(0<\alpha<1\), define the \(\alpha\)-quantile by
Because it is the first trial number at which the cumulative probability reaches \(\alpha\), this quantile cannot increase as \(p\) increases. It may remain the same across a range of probabilities because the trial count is integer-valued.
Why the Completion Time Becomes Shorter
A direct coupling makes the comparison precise. For each trial \(i\), take an independent random variable \(U_i\) uniformly distributed on \((0,1)\). At success probability \(p\), call trial \(i\) a success when \(U_i\le p\). This construction has the required independent Bernoulli trials for every fixed \(p\).
Compare two processes with probabilities \(p_1<p_2\), using the same sequence \(U_1,U_2,\ldots\) for both.
If \(U_i\le p_1\), then \(U_i\le p_2\) as well. Every success under \(p_1\) is also a success under \(p_2\).
The process with probability \(p_2\) has reached any fixed target \(r\) no later than the process with probability \(p_1\). Hence \(T_r(p_2)\le T_r(p_1)\) for every outcome in this construction.
In particular, \(P(T_r(p_2)\le n)\ge P(T_r(p_1)\le n)\) for every deadline \(n\). This is stochastic ordering: a larger success probability gives a waiting time that is stochastically smaller. It explains both the increase in deadline probabilities and the nonincrease in waiting-time quantiles.
For a geometric waiting time, the quantile can also be calculated directly. Since \(P(T_1>n)=(1-p)^n\), the smallest integer \(n\) with \(P(T_1\le n)\ge\alpha\) is
Both logarithms are negative, so their ratio is positive. The ceiling is essential because the waiting time must be an integer number of trials.
Worked Comparisons
Worked Example: A Geometric Wait at Two Success Probabilities
A laboratory procedure is repeated independently until its first successful result. Compare \(p=0.20\) with \(p=0.40\). For each model, find the probability that the first success occurs exactly on trial 3, the probability it occurs by trial 4, the mean waiting time, and the median.
Method. Use the geometric mass function for exact completion, the geometric cumulative probability for completion by a deadline, and the quantile formula for the median. The common mistake to avoid is assuming that the exact-trial probability and the by-deadline probability must change in the same way.
At \(p=0.20\), the probability of first success on trial 3 is
The probability of success by trial 4 is
The mean is \(1/p=1/0.20=5\) trials. The median is
Checking the boundary, \(P(T_1\le3)=1-0.80^3=0.4880<0.5\), whereas \(P(T_1\le4)=0.5904\ge0.5\).
At \(p=0.40\), the corresponding exact-trial probability is
The probability of success by trial 4 is \(1-(0.60)^4=1-0.1296=0.8704\), and the mean is \(1/0.40=2.5\) trials. The median is
Indeed, \(P(T_1\le1)=0.40<0.5\), while \(P(T_1\le2)=1-0.60^2=0.64\ge0.5\). Increasing \(p\) raises the probability of completion by trial 4 and lowers both the mean and median. Here it also raises the probability of completion exactly on trial 3; that last change is not guaranteed in general.
Worked Example: A Three-Success Target and a Deadline
A quality-control sequence continues until three acceptable units have been found. Compare success probabilities \(p=0.25\) and \(p=0.50\). Calculate the mean and variance, the probability of completing by trial 8, and the median waiting time for each probability.
Method. Apply the negative binomial moment formulas. For the deadline probability and median, count successes in the stated number of trials and use the binomial distribution. The common trap is to confuse the negative binomial waiting time with the number of successes by the deadline.
For \(p=0.25\), the mean and variance are
To finish by trial 8 requires at least three successes in eight trials. Subtract the probabilities of zero, one, or two successes:
To find the median, at trial 10 the probability of having at least three successes is \(1-(0.0563135+0.1877117+0.2815676)=0.4744072<0.5\). At trial 11 it is \(1-(0.0422351+0.1548622+0.2581036)=0.5447991\ge0.5\). Thus the median is 11 trials.
For \(p=0.50\), the mean and variance are
By trial 8, the probability of at least three successes is
For the median, \(P(T_3\le4)=\binom43/16+\binom44/16=5/16=0.3125\), while \(P(T_3\le5)=(10+5+1)/32=0.5\), using the probabilities of three, four, or five successes. Therefore the median is 5 trials. The larger success probability lowers the mean from 12 to 6, lowers the variance from 36 to 6, raises the deadline probability, and lowers the median from 11 to 5.
Worked Example: Why an Exact-Trial Probability Can Decrease
A system is monitored until two successful checks have occurred. Compare \(p=0.40\) with \(p=0.60\). Find the probability of completion exactly on trial 5, the mean and variance, and the median for each model.
Method. Evaluate the negative binomial mass function at \(t=5\), then compare moments and medians. The common mistake is to infer that every exact-completion probability increases when \(p\) increases.
For \(r=2\), completion exactly on trial 5 requires one success in the first four trials and a success on trial 5:
At \(p=0.40\), this is \(4(0.16)(0.216)=0.13824\). At \(p=0.60\), it is \(4(0.36)(0.064)=0.09216\). Thus the exact-trial probability decreases, despite the higher success probability.
At \(p=0.40\), the mean is \(2/0.40=5\) and the variance is \(2(0.60)/(0.40)^2=1.20/0.16=7.5\). For the median, \(P(T_2\le3)=P(\operatorname{Bin}(3,0.40)\ge2)=3(0.16)(0.60)+0.064=0.352<0.5\). At trial 4, the probability is \(1-(0.60)^4-4(0.40)(0.60)^3=1-0.1296-0.3456=0.5248\). The median is 4.
At \(p=0.60\), the mean is \(2/0.60=3.3333\ldots\) and the variance is \(2(0.40)/(0.60)^2=0.80/0.36=2.2222\ldots\). At trial 2, completion probability is \(0.60^2=0.36<0.5\). At trial 3, it is \(3(0.60)^2(0.40)+(0.60)^3=0.432+0.216=0.648\). The median is 3. The moments and median become smaller, but the mass at exactly trial 5 also becomes smaller. This is consistent: the overall distribution shifts earlier, while probability is redistributed among particular trial numbers.
Common Mistake: Treating Every Mass as Monotone
The coupling argument proves that cumulative probabilities \(P(T_r\le n)\) increase with \(p\), and the mean and variance formulas show that both moments decrease. It does not prove that \(P(T_r=t)\) increases for every \(t\), or that it decreases for every \(t\). The probability at a particular trial reflects a balance between having enough successes by that time and not having completed earlier.
For example, the incorrect inference “\(p\) rises from \(0.40\) to \(0.60\), so \(P(T_2=5)\) must rise” would overlook the three required failures among the first four trials. The correct calculation gives \(0.13824\) at \(p=0.40\) and \(0.09216\) at \(p=0.60\). Always identify whether the requested event is exact completion, completion by a deadline, or a quantile; these are different features of the distribution.
Check Your Understanding
For each problem, assume independent trials with the stated constant success probability. Check whether your result distinguishes exact completion from completion by a deadline.
- A device is tested until its first successful calibration. Compare \(p=0.10\) and \(p=0.20\). Find the mean waiting time and the probability of success by trial 3 for each. (Answer: Means 10 and 5 trials; deadline probabilities 0.2710 and 0.4880.)
- A geometric waiting time has success probability \(0.30\). Find its median, and compare it with the median when \(p=0.50\). (Answer: The medians are 2 trials and 1 trial, respectively.)
- A process requires two successes. Compare the mean and variance at \(p=0.20\) and \(p=0.40\). (Answer: At \(p=0.20\), mean \(10\), variance \(40\); at \(p=0.40\), mean \(5\), variance \(7.5\).)
- A process requires three successes. Find \(P(T_3=4)\) at \(p=0.30\) and \(p=0.60\). Does the exact-trial probability increase? (Answer: The probabilities are \(3(0.30)^3(0.70)=0.0567\) and \(3(0.60)^3(0.40)=0.2592\); it increases in this comparison.)
- A process requires two successes. Find the median waiting time at \(p=0.25\) and \(p=0.50\). For \(p=0.25\), verify the cumulative probability on either side of the median. (Answer: The medians are 7 trials and 3 trials, respectively; at \(p=0.25\), \(P(T_2\le6)=0.4661<0.5\) and \(P(T_2\le7)=0.5551\ge0.5\).)