Argue that the indicator random variable $X_k$ and the value $T(\max(k-1,n-k))$ are independent.
Picking the pivot in one partitioning does not affect the probabilities of the
subproblem. That is, the call to
RANDOMIZED-PARTITION produces a
result, independent from the call in the next iteration.