I'm working Matthew M. Conroy's "A Collection of Dice Problems". Question 14 is the following:
Suppose we roll a fair die 10 times. What is the probability that the sequence of rolls is non-decreasing (i.e., the next roll is never less than the current roll)?
First I considered what happens when you only perform two rolls. Let $d_i$ be the value of the $i^{\text{th}}$ roll. Then for two rolls, we have three possibilities:
- $d_1 < d_2$
- $d_1 = d_2$
- $d_1 > d_2$
From here we note that $P(d_1 < d_2) = P(d_1 > d_2)$ and $P(d_1 = d_2) = 6 \times \frac{1}{6} \times \frac{1}{6} = \frac{1}{6}$. We can combine the above to conclude that $$1 = P(d_1 < d_2) + P(d_1 > d_2) + P(d_1 = d_2) \implies P(d_1 < d_2) = \frac{5}{12}$$ And thus for two rolls, the probability that you roll a non-decreasing sequence is $P=\frac{5}{12} + \frac{1}{6}=\frac{7}{12}$.
Now if I consider three rolls. First we will perform two rolls and have a probability of $\frac{7}{12}$ of having a non-decreasing sequence. Then we roll the third time, again we have three situations.
- $d_2 < d_3$
- $d_2 = d_3$
- $d_2 > d_3$
I wish to assert that $P(d_2 < d_3) = P(d_2 > d_3)$. But I am not sure if they are equal. Since I have forced $d_2$ to be from a non-decreasing sequence, the value of $d_2$ is skewed towards larger values (for example, there is only one way $d_2=1$, but three ways $d_2 = 2$). If $P(d_2 < d_3) = P(d_2 > d_3)$, Then I can just solve it the same have i did for two rolls, and thus for 10 rolls. But again, that would require the assertion $P(d_2 < d_3) = P(d_2 > d_3)$. Is such a assertion valid?