Survival Analysis - Cox PH - Partial Likelihood

This is my attempt to give a somewhat rigorous derivation of the partial likelihood. If you think you found a mistake, or have a better derivation of the partial likelihood, please share this information.