Consider a simple formulation for the Polya urn model. An urn contains two balls at time 0, one is white and the other is black. At time $n\in\mathbb{N}$, one of the balls is chosen uniformly at random. Another ball of the same color is put into the urn. Let $X_n$ be the number of black balls at time $n$. My task is to:
- Give a formal description of the process.
- Show that $\lim_{n\to\infty}\frac{X_n}{n+2}$ exists almost surely and is uniformly random in $(0,1)$.
- Show that $A:=\left\{\lim_{n\to\infty}\frac{X_n}{n+2}>\frac12\right\}\in\mathcal{T}$, i.e. $A$ is a tail event. Moreover, show that $P(A)=\frac12$.
Point 3 is easy to show in my opinion and the last part follows simply by the uniformity of the random variable. I am unsure how to prove 2 and also what is meant exactly by "formal description of the process". Is it enough to give the conditional probabilities of the form $P(X_{n+1}=k|X_n=l)$? I understand the proof of almost sure convergence follows easily from the martingale convergence theorem. Is there any other way to prove it without using martingales?