IMC 2024 · Problem 2

Day 131st IMC · Blagoevgrad, Bulgaria

Statement

For n=1,2,…n = 1, 2, \ldots let

Sn=log⁡(11⋅22⋅…⋅nnn2)−log⁡(n),S_n = \log\left(\sqrt[n^2]{1^1 \cdot 2^2 \cdot \ldots \cdot n^n}\right) - \log(\sqrt{n}),

where log⁡\log denotes the natural logarithm. Find lim⁡n→∞Sn\lim\limits_{n \to \infty} S_n.

Official solution

Hidden so you can work on the problem first.

Proposed by Sergey Chernov, Belarusian State University, Minsk.