Mi pregunta se basa en este post. En resumen, $X \sim \text{Unif}(a,b)$ e $Y|X \sim \text{Unif}(a,X)$. A continuación, el autor hace los siguientes cálculos:
\begin{align} f(y) = \int_{-\infty}^{\infty} f(y|x) f(x) dx & = \int_{y}^{b} \frac{1}{x-a} \frac{1}{b-a} dx \\ & = \frac{1}{b-a} \int_{y}^{b} \frac{1}{x-a} dx \\ &= \frac{1}{b-a} \left[ \log(b-a)-\log(y-a) \right] ,\quad a<y<b \end{align}
No estoy seguro de cómo el autor cambia el apoyo de $[a,b]$ a $(a,b)$. El apoyo de $X$ es $[a,b]$ lo $Y$ podría tener el apoyo $[a,a]$ y los límites de la integración debe ir de $a$ a $b$. Sin embargo, esto podría llevar a una divergente integral. En pocas palabras, lo que justifica $a < y < b$ en la última línea?