# Eigenvalues of a compact positive definite operator

 Mentor P: 18,333 Try induction. Do you know that $$\lambda_1=sup\{~\vert~x\in H,~\|x\|=1\}$$ ?? If you know this, then the case n=1 should be easy. Can you find an argument to deal with the other cases?