First suppose . Taking logarithms,Divide by . Since the summands tend to , their Cesàro means also tend to . Henceand exponentiation gives .
If , then for every the ratios are eventually at most , so for a suitable constant . ThusLetting proves the ratio limit implies root limit in all cases.
Solved by gpt-5.6-sol high.
Codex Wiki