 Eigenbasis proof of quantum relative entropy nonnegativity

Diagonalize two density operators with eigenvalues $r_i,s_j$, and put $q_{ij}=|⟨i|j⟩{|}^2$. This overlap matrix has row and column sums one. The scalar inequality $u\ln (u/v)\ge u-v$ yields $D(\rho \Vert \sigma )\ge {\sum }_{ij}{q}_{ij}(r_i-s_j)=0$ in natural units; division by $\ln 2$ gives bits. Equality forces $r_i=s_j$ whenever $q_{ij}>0$, so $\sigma |i⟩=r_i|i⟩$ and $\rho =\sigma$. Zero eigenvalues use limits, and failure of support inclusion gives infinite quantum relative entropy.