Don't understand the solution. What is "AH mean inequality", arithmetic-harmonic mean? In that case I don't get the same inequality