Title:A note on the Irrationality of $ζ(5)$ and Higher Odd Zeta Values

Abstract:For $n\in\mathbb{N}$ we define a double integral \begin{equation*} I_n=\frac{1}{24}\int_0^1\int_0^1 \frac{-\log^3(xy)}{1+xy} (xy(1-xy))^n \ dxdy\end{equation*} We denote $d_n=\text{lcm}(1,2,...,n)$ and prove that for all $n\in\mathbb{N}$, \begin{equation*}
\frac{d_n I_{2n}}{15 \ 2^{2n-4}}= d_n \zeta(5)- \frac{d_n}{15 \ 2^{2n-4}}\sum_{r=0}^{2n} \binom{2n}{r}\left(\sum_{k=1}^{2n+r} \frac{(-1)^{k-1}}{k^5}\right) \end{equation*} Now if $\zeta(5)$ is rational, then $\zeta(5)=a/b$, $(a,b)=1$ and $a,b\in\mathbb{N}$. Then we take $n\geq b$ so that $b|d_n$. We show that for all $n\geq 1$, $0<d_n I_{2n}<1$. We denote \begin{equation*}
P_n=\frac{1}{15 \ 2^{2n-4}}\sum_{r=0}^{2n} \binom{2n}{r}\left(\sum_{k=1}^{2n+r} \frac{(-1)^{k-1}}{k^5}\right) \end{equation*} We prove that for all $n\geq b$, \begin{equation*}
\frac{d_n I_{2n}}{15 \ 2^{2n-4}}+d_n\{P_n\}\in\mathbb{Z}\end{equation*} where $\{x\}=x-[x]$ denotes the fractional part of $x$ and $[x]$ denotes the greatest integer less than or equal to $x$. Finally using two cases $n\neq p^{\alpha}-1$ and $n=p^{\gamma}-1$ where $p$ is a prime and $\alpha,\gamma\in\mathbb{N}$, we prove that all these above cases are not possible. This gives a contradiction to our assumption that $\zeta(5)$ is rational. Similarly for all $m\geq 3$, by defining \begin{equation*} I_{n,m}=\frac{1}{\Gamma(2m+1)}\int_0^1\int_0^1 \frac{-\log^{2m-1}(xy)}{1+xy} (xy(1-xy))^n \ dxdy\end{equation*} where $\Gamma(s)$ denotes the Gamma function, we give an extension of the above proof to prove the irrationality of higher odd zeta values $\zeta(2m+1)$ for all $m\geq 3$.