Question 83Let $n$ be a positive integer and $M$ be the arithmetic mean of its positive divisors. Prove that $M \ge \sqrt{n}$. When does the equality hold?