Courant-Fischer Min-Max Principle for Compact Non-Negative Self-Adjoint Operators