 Solution

Let $M=\max \{b,y_1,\dots ,y_n\}$. The continuous uniform distribution likelihood contributes ${\varphi }^{-n}{1}_{\{\varphi \ge {\max }_i{y}_i\}}$, while the Pareto distribution prior contributes ${\varphi }^{-a-1}{1}_{\{\varphi \ge b\}}$. Their product proves Uniform-Pareto conjugacy:Thus the posterior distribution is Pareto with shape $a+n$ and lower bound $M$. Its density is strictly decreasing on its support, so the highest posterior density interval begins at $M$. Since the upper-tail probability is $(M/u{)}^{a+n}$, the required upper endpoint satisfies $(M/u{)}^{a+n}=0.05$. The Pareto highest density interval is therefore