Putnam 1953 A1

Prove that for every positive integer $n$ $\frac{2}{3} n \sqrt{n} < \sqrt{1} + \sqrt{2} +\ldots +\sqrt{n} < \frac{4n+3}{6} \sqrt{n}.$

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.