(a)
Since and are independent, the joint PDF is the product of the marginals:
(b)
(1) Expand the conditional probability:
The three conditions in the numerator are partially redundant because implies and therefore follows automatically. So we may drop the middle term:
(2) Evaluate the denominator using independence:
(3) Evaluate the numerator:
The region is and , i.e. above and below .
For the outer variable , the lower bound is (where the line meets ). For a given value, ranges from to .
Inner integral over :
Outer integral over :
(4) Plug into original ratio:
This result is what we would expect to obtain by applying the memoryless property of exponential distributions.