# Confidence Interval for Pivot

I don't follow the step highlighted in green.

Note that $\hat\theta=\max\limits_{1\leqslant k\leqslant n}X_k$ and that, for every $k$, $X_k\leqslant\theta$ almost surely, hence $\hat\theta\leqslant\theta$ almost surely.