Suppose we specify the gamma pdf in the following format:
$f(x) = \lambda e^{-\lambda x} \frac{(\lambda x)^{n - 1}}{(n - 1)!}$
Further suppose we want the distribution of a $\text{gamma}(\lambda = 1,n = 2)$ random variable conditional on its value exceeding 5.
Now we can say that the pdf of this random variable is defined as:
$f(x) = \frac{xe^{-x}}{\int_{5}^{\infty} x e^{-x}dx}$
Why is the above-mentioned true?
I know that:
$f_{X|Y} = \frac{f(x,y)}{f(y)}$
But how would the above-mentioned equality be applied in my case? It is easy to see that the denominator in $\frac{xe^{-x}}{\int_{0}^{\infty} x e^{-x}dx}$ is defined as the probability that x is greater than 5. Which conforms to the usual definition of $f_{X|Y}$. How , if even, was the joint probability density function calculated in this case?