AUSTRIAN-POLISH 1998 Problem 4

For positive integers $m, n$ , denote $S_m(n)=\sum_{1\le k \le n} \left[ \sqrt[k^2]{k^m}\right]$ Prove that $S_m(n) \le n + m (\sqrt[4]{2^m}-1)$

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.