Is there a closed formula for the distribution of $x_t$ in the following random process, describing a random walk on a directed line? <ul> <li> $x_0 = n$ <li> $x_t$ is a uniformly random integer between 1 and $x_{t - 1}$ </ul>