IMC 2024 · Problem 2

Day 131st IMC · Blagoevgrad, Bulgaria

Statement

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

Sn=log(1122nnn2)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 limnSn\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.