One of the odd zeta values from \(\zeta(5)\) to \(\zeta(25)\) is irrational. By elementary means (Q1747886)

Let \(\zeta(k)=\sum_{n=1}^\infty\frac 1{n^k}\) be the zeta function. Then the author proves that at least one of the numbers \(\zeta(5), \zeta(7), \dots ,\zeta(25)\) is an irrational number. The proof is not simple but uses only elementary tools like prime number theorem, Stirling's formula \(n!=\sqrt{2\pi n} (\frac ne)^n\) and so on.