Consider a nonhomogeneous Poisson process on $[0, T]$ with mean value function $m(t)$ for $t \in [0, T]$.
Let $X_1$ denote the time of the first arrival. Show that $(X_1\,|\,N(T) = 1)$ has the following cdf:
$$F(x) = \frac{m(x)}{m(T)},\quad x \in [0, T]$$
Can someone help me out here? In this case does x refer to the event $(X_1\,|\,N(T) = 1)$? Why is it not just $F(x)= m(T)$?