On Robin's Inequality and the Kaneko-Lagarias Inequality
Extracted source text · arXiv 2503.03159
\documentclass[11pt, oneside]{amsart} % use "amsart" instead of "article" for AMSLaTeX format
%11pt, reqno, oneside article
\usepackage[
backend=biber,
style=numeric,
backref=true,
]{biblatex}
\addbibresource{citations.bib}
\usepackage{csquotes}
% bib file
\begin{filecontents}{citations.bib}
@book {Tenenbaum,
AUTHOR = {Tenenbaum, G\'erald},
TITLE = {Introduction to analytic and probabilistic number theory},
SERIES = {Cambridge Studies in Advanced Mathematics},
VOLUME = {46},
EDITION = {French},
PUBLISHER = {Cambridge University Press, Cambridge},
YEAR = {1995},
PAGES = {xvi+448},
}
@article{RosserShoenfeld,
author = {J. Barkley Rosser and Lowell Schoenfeld},
title = {{Approximate formulas for some functions of prime numbers}},
volume = {6},
journal = {Illinois Journal of Mathematics},
number = {1},
publisher = {Duke University Press},
pages = {64 -- 94},
year = {1962},
}
@article{Dusart,
author = {Pierre Dusart},
journal = {Mathematics of Computation},
number = {225},
pages = {411--415},
publisher = {American Mathematical Society},
title = {The $k$-th Prime is Greater than $k(\log(k)() + \log(\log(k)) - 1)$ for $k\geq 2$},
volume = {68},
year = {1999}
}
@article{Lagarias,
author = {Jeffrey C. Lagarias},
journal = {The American Mathematical Monthly},
number = {6},
pages = {534--543},
publisher = {Mathematical Association of America},
title = {An Elementary Problem Equivalent to the Riemann Hypothesis},
volume = {109},
year = {2002}
}
@article{Robin,
author = {Guy Robin},
journal = {Journal de Mathématiques Pures et Appliquées},
volume = {63},
pages = {187--213},
year = {1984},
title = {Grandes valeurs de la fonction somme des diviseurs et hypothèse de Riemann},
}
@article{AlaogluErdős,
author = {L. Alaoglu and P. Erdos},
journal = {Transactions of the American Mathematical Society},
number = {3},
pages = {448--469},
publisher = {American Mathematical Society},
title = {On Highly Composite and Similar Numbers},
volume = {56},
year = {1944}
}
@article{Choieetal,
author = {YoungJu Choie and Nicolas Lichiardopol and Pieter Moree and Patrick Solé},
journal = {Journal de Théorie des Nombres de Bordeaux},
number = {2},
pages = {357--372},
publisher = {Société Arithmétique de Bordeaux},
title = {On Robin's criterion for the Riemann hypothesis},
volume = {19},
year = {2007}
}
@article{AkbaryFriggstad,
author = {Amir Akbary and Zachary Friggstad},
journal = {The American Mathematical Monthly},
number = {3},
pages = {273--275},
publisher = {[Taylor & Francis, Ltd., Mathematical Association of America]},
title = {Superabundant Numbers and the Riemann Hypothesis},
volume = {116},
year = {2009}
}
@article{Briggs,
author = {Keith Briggs},
title = {{Abundant Numbers and the Riemann Hypothesis}},
volume = {15},
journal = {Experimental Mathematics},
number = {2},
publisher = {A K Peters, Ltd.},
pages = {251 -- 256},
keywords = {abundant numbers, Riemann hypothesis},
year = {2006},
}
@article{Alzer,
author = {Horst Alzer},
journal = {Mathematics of Computation},
number = {217},
pages = {373--389},
publisher = {American Mathematical Society},
title = {On Some Inequalities for the Gamma and Psi Functions},
volume = {66},
year = {1997}
}
@ARTICLE{DolatabadiandFarhanddoost,
title = {New Inequalities for Gamma and Digamma Functions},
author = {Farhangdoost, M. R. and Dolatabadi, M. Kargar},
year = {2014},
journal = {Journal of Applied Mathematics},
volume = {2014},
pages = {1-7},
}
@article{MorrillandPlatt,
title = {Robin's inequality for 20-free integers},
author={Thomas Morrill and David Platt},
year={2020},
journal = {Integers},
volume = {21},
}
@article{AxlerNicolas,
title = {Large values of $\frac{n}{\ph(n)}$},
author = {Christian Axler and Jean-Louis Nicolas},
year = {2022},
journal = {Acta Arithmetica},
volume = {209},
pages = {357-383},
}
@article{SolePlanat,
title = {The Robin inequality for 7-free integers},
author = {P. Sole and M. Planat},
year = {2012},
journal = {Integers},
Volume = {12},
pages = {301-309},
}
@article{BroughanTrudgian,
title = {Robin's inequality for 11-free integers},
author = {Kevin Boughan and Tim Trudgian} ,
year = {2015},
journal = {Integers},
volume = {15},
}
@article{Axler23,
title={On Robin’s inequality},
author={Axler, Christian},
journal={The Ramanujan Journal},
volume={61},
number={3},
pages={909--919},
year={2023},
publisher={Springer}
}
@article{Hertlein16,
title={Robin's inequality for new families of integers},
author={Hertlein, Alexander},
journal={arXiv preprint arXiv:1612.05186},
year={2016}
}
@article{AFJ07,
title={Explicit upper bounds for $\prod_{p_\omega(n)}\frac{p}{p-1}$},
author={Akbary, Amir and Friggstad, Zachary and Juricevic, Robert},
journal={Contrib. Discrete Math.},
volume={2},
number={2},
pages={153--160},
year={2007}
}
@article{Wojtowicz07,
title={Robin's inequality and the Riemann hypothesis},
author={W{\'o}jtowicz, Marek},
journal={Proceedings of the Japan Academy of Sciences},
volume={83},
number={4},
year={2007}
}
@article{WashingtonYang21,
title={Analogues of the Robin--Lagarias criteria for the Riemann hypothesis},
author={Washington, Lawrence C and Yang, Ambrose},
journal={International Journal of Number Theory},
volume={17},
number={04},
pages={843--870},
year={2021},
publisher={World Scientific}
}
@article{Luca,
author = {Luca, Florian and Pomerance, Carl and Sol\'e, Patrick},
title = {Corrigendum to \#A8 of Volume 25, on Robin's Inequality},
journal = {Integers},
year = {2025},
volume = {25},
}
\end{filecontents}
\usepackage[margin = 0.75in]{geometry} % See geometry.pdf to learn the layout options. There are lots.
\geometry{letterpaper} % ... or a4paper or a5paper or ...
%\geometry{landscape} % Activate for rotated page geometry
%\usepackage[parfill]{parskip} % Activate to begin paragraphs with an empty line rather than an indent
\usepackage{graphicx} % Use pdf, png, jpg, or eps§ with pdflatex; use eps in DVI mode
%\usepackage{setspace}
%\doublespacing
\DeclareFontEncoding{FMS}{}{}
\DeclareFontSubstitution{FMS}{futm}{m}{n}
\DeclareFontEncoding{FMX}{}{}
\DeclareFontSubstitution{FMX}{futm}{m}{n}
\DeclareSymbolFont{fouriersymbols}{FMS}{futm}{m}{n}
\DeclareSymbolFont{fourierlargesymbols}{FMX}{futm}{m}{n}
\DeclareMathDelimiter{\VERT}{\mathord}{fouriersymbols}{152}{fourierlargesymbols}{147}
% TeX will automatically convert eps --> pdf in pdflatex
\usepackage[english]{babel}
\usepackage{amsthm}
\usepackage{bbm}
\usepackage{url}
%To see the labels (to be commented for the final draft)
%\usepackage{showkeys}
%%%% Bib-stuff
\usepackage[
%backref=page,
colorlinks=true]{hyperref} % Links in the pdf. Backref option: each bibliographical entry denotes where it was cited
\usepackage[nameinlink,capitalise]{cleveref}
\usepackage{ifthen}
\usepackage{tikz}
\usetikzlibrary{decorations.pathreplacing}
\usepackage{tikz-cd}
%%%%%%%%%%% changing backref options (each bibliographical entry indicates where it was cited)
%\renewcommand*{\backref}[1]{}
%\renewcommand*{\backrefalt}[4]{\tiny
% \ifcase #1 (\textbf{NOT CITED.})%
% \or (Cited on page~#2.)%
% \else (Cited on pages~#2.)%
% \fi}
%%%%%%%%%%%%%%%%
\allowdisplaybreaks
%\usepackage[sc]{mathpazo}
%\linespread{1.2} % Palatino needs more leading (space between lines)
%\usepackage[T1]{fontenc}
\usepackage{blindtext}
\usepackage{scrextend}
\addtokomafont{labelinglabel}{\sffamily}
\usepackage{amssymb}
\usepackage{amsmath}
\newcommand{\R}{\mathbb{R}}
\newcommand{\ep}{\varepsilon}
\newcommand{\K}{\mathcal{K}}
\newcommand{\T}{\mathbb{T}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\E}{\mathbb{E}}
\newcommand{\A}{\mathcal{A}}
\newcommand{\1}{\mathbbm{1}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\real}{\operatorname{Re}}
\newcommand{\ph}{\varphi}
\newcommand{\NN}{\mathbb{N}}
\newcommand{\ZZ}{\mathbb{Z}}
\newcommand{\PP}{\mathbb{P}}
\newcommand{\dd}{\mathop{}\!\mathrm{d}}
\makeatletter
\newcommand{\subalign}[1]{%
\vcenter{%
\Let@ \restore@math@cr \default@tag
\baselineskip\fontdimen10 \scriptfont\tw@
\advance\baselineskip\fontdimen12 \scriptfont\tw@
\lineskip\thr@@\fontdimen8 \scriptfont\thr@@
\lineskiplimit\lineskip
\ialign{\hfil$\m@th\scriptstyle##$&$\m@th\scriptstyle{}##$\hfil\crcr
#1\crcr
}%
}%
}
\makeatother
%SetFonts
%SetFonts
%short-cut for norm
\newcommand{\norm}[1]{\left\lVert#1\right\rVert}
%short-cut for the floor function
\newcommand{\floor}[1]{\lfloor#1\rfloor}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
%\theoremstyle{remark}
\newtheorem{remark}[theorem]{Remark}
\title{On Robin's Inequality and the Kaneko-Lagarias Inequality}
\author{Idris Assani}
\address{Department of Mathematics, The University of North Carolina at Chapel Hill, 120 E Cameron Avenue, CB 3250
Chapel Hill, NC 27599-3250, USA}
\email{assani@email.unc.edu}
\urladdr{https://idrisassani.web.unc.edu/}
\author{Aiden Chester}
\address{The University of North Carolina at Chapel Hill, 120 E Cameron Avenue, CB 3250
Chapel Hill, NC 27599-3250, USA}
\email{achester@unc.edu}
%\urladdr{Insert URL here}
\author{Alex Paschal}
\address{The University of North Carolina at Chapel Hill, 120 E Cameron Avenue, CB 3250
Chapel Hill, NC 27599-3250, USA}
\email{ampasch@unc.edu}
\subjclass[2020]{11N56, 11M26}
\keywords{Robin's inequality, Kaneko-Lagarias inequality}
\begin{document}
\begin{abstract}
We provide new, elementary proofs that Robin's inequality and the Lagarias inequality hold for almost every number, including all numbers not divisible by one of the prime numbers $2$, $3$, $5$; all primorials; given $k$ a natural number, all sufficiently large numbers of the form $2^kn$ for $n\ge1$ odd; and all $21$-free integers. Additionally, we prove that the Kaneko-Lagarias inequality holds for all natural numbers if and only if it holds for all superabundant numbers.
\end{abstract}
\maketitle
\tableofcontents
\section{Introduction}
We define the \emph{sum of divisors function} and \emph{Euler's totient function} as
\begin{equation*}
\sigma(n)=\sum_{d\mid n}d,\quad\ph(n)=n\prod_{p\mid n}\bigg(1-\frac 1p\bigg)
\end{equation*}
respectively, where the product is taken over primes $p$ which divide $n$. It has long been known that these functions have connections to the Riemann hypothesis (RH). Robin's inequality \cite{Robin} states that RH holds if and only if, for all $n>5040$,
\begin{equation}\label{Robin's inequality}
\sigma(n)<e^\gamma \log(\log (n)),
\end{equation}
where $\gamma\approx .57721\dots$ denotes the Euler-Mascheroni constant.
We briefly survey some known results concerning families of natural numbers which satisfy Robin's inequality. A number is $k$-free if all the powers in its prime factorization are $<k$. In \cite{Choieetal}, it is proven that all all odd integers $>9$ satisfy Robin's inequality, as do all $5$-free integers. This was extended to $7$-free numbers in \cite{SolePlanat}, $11$-free numbers in \cite{BroughanTrudgian}, $20$-free numbers in \cite{MorrillandPlatt}, and finally $21$-free numbers in \cite{Axler23}. We reprove the result of Axler \cite[Theorem 1]{Axler23} using more elementary methods in \cref{21-free numbers}: while Axler's proof relies on estimates from \cite{SolePlanat} and combinatorial prime counting algorithms, our proof uses only arithmetic manipulations and a sharper bound from \cite{AxlerNicolas} than the one used in \cite[Theorem 15]{RosserShoenfeld}.
Similarly, \cref{Robin's inequality for numbers not divisible by p_j}, which states that Robin's inequality holds for numbers not divisible by one of the primes $2$, $3$, $5$, is implied by the results of \cite{Hertlein16}, but is proven using more elementary methods. The proof in \cite{Hertlein16}, which works with a number's \emph{$p$-adic order}, relies on an algorithm from \cite{AFJ07}, whereas ours is derived only from arithmetic manipulations.
The final class of results concerning Robin's inequality is density results. The first such result is by Robin \cite{Robin}, who proved that Robin's inequality holds for all square-free (that is, $2$-free) numbers. In \cite[p. 46]{Tenenbaum}, it is shown that the logarithmic density of non-square-free integers is $\frac 12-\frac{2}{\pi^2}\approx .2973...$. Similarly, \cref{Robin's inequality for numbers not divisible by p_j} shows that Robin's inequality holds for a set of logarithmic density $\frac{29}{30}$. Wójtowicz \cite{Wojtowicz07} was the first to show that Robin's inequality holds on a set of density $1$. We prove this using different methods in \cref{almost every number}: our proof, again, relies mostly on arithmetic manipulations, as opposed to the ``deep'' results of Ford and Luca-Pomerance. It is worth noting that according to \cite{Luca}, for $x>7!$,
\begin{equation}
\#\{n \le x \mid \sigma(n) \ge e^{\gamma}n\log(\log(n)) \}=x^{O(\frac{1}{\log(\log(x))})},
\end{equation}
so the density of counterexamples to Robin's inequality up to large but finite $x$ is also quite small.
Another well-studied inequality which is equivalent to RH is the Lagarias inequality. Denote by $H_n$ the $n$-th \emph{harmonic number}; that is, $H_n=1+\frac 12+\cdots+\frac 1n$. The Lagarias inequality \cite{Lagarias} states that, for all $n\geq 1$,
\begin{equation*}
\sigma(n)<H_n+\exp(H_n)\log(H_n).
\end{equation*}
It turns out that the $H_n$ term on the RHS is negligible in the sense that the following inequality, which we name the Kaneko-Lagarias inequality (see the acknowledgements in \cite{Lagarias}), is also equivalent to RH: for all $n>60$,
\begin{equation*}
\sigma(n)<\exp(H_n)\log(H_n).
\end{equation*}
We note that similar alternative inequalities have been introduced \cite{WashingtonYang21}.
A number is \emph{superabundant} if $m<n$ implies $\sigma(m)/m<\sigma(n)/n$. By dividing both sides of \eqref{Robin's inequality} by $n$ and noting that the RHS is monotone increasing, one immediately sees that Robin's inequality holds if and only if it holds for superabundant numbers (this observation was made in \cite{AkbaryFriggstad}). One would like to say the same for the Lagarias inequality and the Kaneko-Lagarias inequality, but the picture is more complicated since monotonicity is harder to prove. Nevertheless, we prove in \cref{LLI theorem} that the Kaneko-Lagarias inequality holds if and only if it holds for superabundant numbers. We would like to extend this result to the Lagarias inequality in future work.
The layout of our paper is as follows. In \cref{Robin's inequality sec}, we consider Robin's inequality. Each subsection corresponds to a result which we prove, and is labeled as such. We note that we use a unified method throughout the section, reobtaining some results which were found using varied methods. In \cref{Lagarias ineq sec}, we focus on the Lagarias inequality. We introduce the Kaneko-Lagarias inequality and prove the contents of the last paragraph.
\section{Robin's Inequality}\label{Robin's inequality sec}
\subsection{Sufficiently big numbers not divisible by one of the prime numbers 2,3,5}
Let $p_1=2$, $p_2=3$, etc. be an enumeration of the prime numbers which we denote by $\PP$. Fix $j\in\NN$ and let $q_1<q_2<\cdots<q_k$ be some prime numbers distinct from $p_j$. Given $\alpha_1,\alpha_2,\dots,\alpha_k\in\NN$, let $n=q_1^{\alpha_1}q_2^{\alpha_2}\cdots q_k^{\alpha_k}$.
\begin{lemma}\label{sigma(n)/n<n/phi(n)} %\label{initial bound on sigma(n)/n 2}
We have
\begin{equation}\label{first bound on sigma(n)/n}
\frac{\sigma(n)}{n}<\prod_{\ell=1}^k\frac{q_\ell}{q_\ell -1}\leq\prod_{\subalign{\ell=&1,\dots,j-1\\&j+1,\dots,k+1}}\frac{p_\ell}{p_\ell-1}=\frac{n}{\ph(n)}.
\end{equation}
\end{lemma}
\begin{proof}
The first inequality follows from the fact that for any $p\in\PP$ and $\alpha\in\NN$
\begin{equation}
\frac{\sigma(p^\alpha)}{p^\alpha}=\frac{p-\frac{1}{p^\alpha}}{p-1}\nearrow\frac{p}{p-1}\text{ as }\alpha\to\infty.
\end{equation}
The second inequality follows from the fact that $p_i\leq q_i$ for all $1\leq i\leq k$.
\end{proof}
Note that
\begin{equation}\label{n/phi(n)=A(k)B(k)} %\label{equality for product of primes}
\frac{n}{\ph(n)}=\left(\prod_{\subalign{\ell=&1,\dots,j-1\\&j+1,\dots,k+1}}\frac{p_\ell+1}{p_\ell}\right)\left(\prod_{\subalign{\ell=&1,\dots,j-1\\&j+1,\dots,k+1}}\frac{p_\ell^2}{p_\ell^2-1}\right)=:A(k)B(k).
\end{equation}
We can bound $A(k)$ as follows:
\begin{equation}
\log(A(k))=\sum_{\subalign{\ell=&1,\dots,j-1\\&j+1,\dots,k+1}}\log\left(1+\frac{1}{p_\ell}\right)\leq\sum_{\subalign{\ell=&1,\dots,j-1\\&j+1,\dots,k+1}}\frac{1}{p_\ell}=\left(\sum_{\ell=1}^{k+1}\frac{1}{p_\ell}\right)-\frac{1}{p_j}
\end{equation}
and
\begin{equation}
\sum_{\ell=1}^{k+1}\frac{1}{p_\ell}\leq\log(\log(p_{k+1}))+c_1+\frac{5}{\log(p_{k+1})},
\end{equation}
where $c_1\approx .261497$ by Theorem 1.10 in \cite{Tenenbaum}. Thus we obtain
\begin{lemma}\label{bound on A(k)}
For all $k\in\NN$,
\begin{equation}\label{bound on A(k) eq}
A(k)\leq\log(p_{k+1})\exp\left(c_1-\frac{1}{p_j}+\frac{5}{\log(p_{k+1})}\right).
\end{equation}
\end{lemma}
\noindent Combining \cite{Dusart} and Theorem 3 from \cite{RosserShoenfeld}, we obtain the following:
\begin{theorem}\label{bounds on p_n}
For $k\geq 6$,
\begin{equation}\label{bounds on p_n eq}
k(\log(k)+\log(\log(k))-1)<p_k<k(\log(k)+\log(\log(k))).
\end{equation}
\end{theorem}
\noindent Furthermore, combining \ref{bound on A(k)} and \ref{bounds on p_n}, we see that
\begin{lemma}
For $k\geq 6$, $A(k)<C(k)$ where
\begin{equation}\label{def of C(k)}
\begin{aligned}
C(k) &= \log((k+1)(\log(k+1)+\log(\log(k+1)))) \\
&\qquad \exp\left(c_1-\frac{1}{p_j}+\frac{5}{\log((k+1)(\log(k+1)+\log(\log(k+1))-1))}\right).
\end{aligned}
\end{equation}
\end{lemma}
Now, put $m=p_{k+1}\#/p_j$. Our goal is to show the following, since it implies that Robin's inequality for $n$ as above:
\begin{theorem}\label{C(k)<e^gamma log(log(m))}
For any $j\in\{1,2,3\}$, there exists a $K_j\in\NN$ such that $k\geq K_j$ implies
\begin{equation}
C(k)B(k)<e^\gamma\log(\log(m)).
\end{equation}
\end{theorem}
\begin{corollary}
Suppose \ref{C(k)<e^gamma log(log(m))} holds. Then Robin's inequality holds for $n$ as above.
\end{corollary}
\begin{proof}
We calculate
\begin{equation}
\frac{\sigma(n)}{n}<\frac{n}{\ph(n)}\leq A(k)B(k)<C(k)B(k)<e^\gamma\log(\log(m))\leq e^\gamma\log(\log(n)),
\end{equation}
where the last inequality follows from the fact that $m\leq n$.
\end{proof}
\begin{definition}
The \emph{Chebyshev function} is defined as follows:
\begin{equation}
\theta(x)=\sum_{p\in\PP,p\leq x}\log(p)=\log\left(\prod_{p\in\PP,p\leq x}p\right).
\end{equation}
\end{definition}
\begin{theorem}\label{bound on product of primes <=x}
For $x\geq 529$,
\begin{equation}
\prod_{\substack{p\in\PP\\p\leq x}}p=e^{\theta(x)}>e^{x\left(1-\frac{1}{2\log x}\right)}\geq(2.51)^x.
\end{equation}
\end{theorem}
\begin{proof}
The first inequality is given by (3.14) in \cite{RosserShoenfeld} and the second follows from computations since the function $f(x)=1-\frac{1}{2\log x}$ increases for $x>1$.
\end{proof}
\begin{lemma}\label{bound on log(log(m))}
For $k\geq 99$,
\begin{equation*}
\log(\log(m))>\log((k+1)(\log(k+1)+\log(\log(k+1))-1)\log(2.51)-\log(p_j))=:D(k).
\end{equation*}
\end{lemma}
\begin{proof}
Noting that $k\geq 99$ implies $p_{k+1}>529$, we calculate
\begin{equation}
\begin{aligned}
\log(\log(m)) &= \log\left(\log\left(\frac{p_{k+1}\#}{p_j}\right)\right)>\log\left(\log\left(\frac{(2.51)^{p_{k+1}}}{p_j}\right)\right) \\
&= \log(p_{k+1}\log(2.51)-\log(p_j))\\
&> \log((k+1)(\log(k+1)+\log(\log(k+1))-1)\log(2.51)-\log(p_j)),
\end{aligned}
\end{equation}
where the last inequality uses \ref{bounds on p_n}.
\end{proof}
The following implies \ref{C(k)<e^gamma log(log(m))}:
\begin{proposition}
For $j\in\{1,2,3\}$, there exists a $K_j\in\NN$ such that $k\geq K_j$ implies
\begin{equation}\label{C(k)B(k)<e^gamma D(k)}
C(k)B(k)<e^\gamma D(k).
\end{equation}
\end{proposition}
\begin{proof}
Denote
\begin{equation}
\begin{aligned}
\widetilde{C}(k) = e^{-c_1+\frac{1}{p_j}}C(k) &= \log((k+1)(\log(k+1)+\log(\log(k+1)))) \\
&\qquad \exp\left(\frac{5}{\log((k+1)(\log(k+1)+\log(\log(k+1))-1))}\right)
\end{aligned}
\end{equation}
and
\begin{equation}
\widehat{C}(k)=\exp\left(\frac{5}{\log((k+1)(\log(k+1)+\log(\log(k+1))-1))}\right).
\end{equation}
Multiplying both sides of \eqref{C(k)B(k)<e^gamma D(k)} by $e^{-c_1+\frac{1}{p_j}}p_j^2/(p_j^2-1)$, we obtain
\begin{equation}\label{C(k)B(k)<e^gamma D(k) proof eq 1}
\widetilde{C}(k)\prod_{\ell=1}^{k+1}\frac{p_\ell^2}{p_\ell^2-1}<\frac{e^{\gamma-c_1+\frac{1}{p_j}p_j^2}}{p_j^2-1}D(k).
\end{equation}
Noting that
\begin{equation}
\prod_{\ell=1}^{k+1}\frac{p_\ell^2}{p_\ell^2-1}\nearrow\frac{\pi^2}{6}\text{ as }k\to\infty,
\end{equation}
we see that \eqref{C(k)B(k)<e^gamma D(k) proof eq 1} is implied by
\begin{equation}\label{C(k)B(k)<e^gamma D(k) proof eq 2}
\widetilde{C}(k)<\frac{6p_j^2e^{\gamma-c_1+\frac{1}{p_j}}}{\pi^2(p_j^2-1)}D(k)=:E_jD(k).
\end{equation}
Raising both sides to the power of $e$, we see that \eqref{C(k)B(k)<e^gamma D(k) proof eq 2} is implied by
\begin{equation}\label{C(k)B(k)<e^gamma D(k) proof eq 3}
\begin{aligned}
& [(k+1)(\log(k+1)+\log(\log(k+1))]^{\widehat{C}(k)} \\
&< [(k+1)(\log(k+1)+\log(\log(k+1))-1)\log(2.51)-\log(p_j)]^{E_j}.
\end{aligned}
\end{equation}
\eqref{C(k)B(k)<e^gamma D(k) proof eq 3} is equivalent to
\begin{equation}\label{C(k)B(k)<e^gamma D(k) proof eq 4}
\begin{aligned}
1 &< [(k+1)(\log(k+1)+\log(\log(k+1)))]^{-\widehat{C}(k)+E_j} \\
&\qquad \left[1-\frac{(k+1)\log(2.51)+\log(p_j)}{(k+1)(\log(k+1)+\log(\log(k+1)))}\right]^{E_j}.
\end{aligned}
\end{equation}
Noting that $E_j>1$ for $j\in\{1,2,3\}$, we see that there exists a $K_j\in\NN$ such that $k\geq K_j$ implies $-\widehat{C}(k)+E_j>\epsilon$ for some $\epsilon\in(0,1)$. If needed, we can increase $K_j$ so that $k\geq K_j$ implies
\begin{equation}
\left[1-\frac{(k+1)\log(2.51)+\log(p_j)}{(k+1)(\log(k+1)+\log(\log(k+1)))}\right]^{E_j}>\epsilon,
\end{equation}
and also so that $k\geq K_j$ implies
\begin{equation}
1<\epsilon[(k+1)(\log(k+1)+\log(\log(k+1))]^\epsilon,
\end{equation}
which implies \eqref{C(k)B(k)<e^gamma D(k) proof eq 4}.
\end{proof}
\subsection{All numbers not divisible by one of the prime numbers 2,3, 5}
Letting $j=1$ in \eqref{C(k)B(k)<e^gamma D(k) proof eq 2}, we seek to show that
\begin{equation}\label{C(k)B(k)<e^gamma D(k) proof eq 5}
\widetilde{C}(k)<\frac{8e^{\gamma-c_1+.5}}{\pi^2}D(k).
\end{equation}
\begin{lemma}\label{widehat C(k)<1.525}
For $k\geq 13042$, $\widehat{C}(k)<1.525$.
\end{lemma}
\begin{proof}
$\widehat{C}(k)$ is decreasing, so the result follows from computation.
\end{proof}
\noindent Denote $f(k)=(k+1)(\log(k+1)+\log(\log(k+1))$. Applying \ref{widehat C(k)<1.525}to \eqref{C(k)B(k)<e^gamma D(k) proof eq 5} and performing some algebraic manipulations, our goal reduces to showing that
\begin{equation}\label{C(k)B(k)<e^gamma D(k) proof eq 6}
\log(f(k))<\frac{8e^{\gamma-c_1+.5}}{\pi^2(1.525)}\log((f(k)-1)\log(2.51)-\log(2)).
\end{equation}
Raising both sides to the power of $e$, this becomes
\begin{equation}\label{C(k)B(k)<e^gamma D(k) proof eq 7}
1<f(k)^{2.0166}\left[1-\frac{(k+1)\log(2.51)-\log(2)}{f(k)}\right]^{1.20166}.
\end{equation}
The RHS of \eqref{C(k)B(k)<e^gamma D(k) proof eq 7} is increasing, and a computation reveals that it holds for $k\geq 13042$. Additionally, using \ref{sigma(n)/n<n/phi(n)}, one can check that
\begin{equation}
\frac{\sigma(n)}{n}<\frac{n}{\ph(n)}<e^\gamma\log(\log(m))
\end{equation}
for $k\geq 3$. Finally, when $k\in\{1,2\}$, we check that
\begin{equation}\label{C(k)B(k)<e^gamma D(k) proof eq 8}
\frac{\sigma(n)}{n}<\frac{n}{\ph(n)}\leq\frac{15}{8}<e^\gamma\log(\log(n))
\end{equation}
for $n\geq 680$. This confirms the following for $j=1$:
\begin{theorem}\label{Robin's inequality for numbers not divisible by p_j}
For $j\in\{1,2,3\}$, Robin's inequality holds for every natural number $>5040$ which is not divisible by $p_j$.
\end{theorem}
\noindent To confirm \ref{Robin's inequality for numbers not divisible by p_j} when $j\in\{2,3\}$, one can repeat the above process to see that, for sufficiently big $k$, \eqref{C(k)B(k)<e^gamma D(k) proof eq 2} is satisfied. The cases with smaller $k$ have been verified in \cite{MorrillandPlatt}.
\subsection{Primorials and sufficiently big even numbers}
We consider numbers of the form $2^{k}n$ for odd $n$.
Fix $k\in\NN$ and let $n$ be odd. We calculate
\begin{equation}
\frac{\sigma(2^kn)}{2^kn}=\frac{\sigma(2^k)}{2^k}\frac{\sigma(n)}{n}<\frac{\sigma(2^k)}{2^k}\frac{n}{\ph(n)}=\frac{\sigma(2^k)}{2^k}\frac{\ph(2^k)}{2^k}\frac{2^kn}{\ph(2^kn)}=\left(1-\frac{1}{2^{k+1}}\right)\frac{2^kn}{\ph(2^kn)}.
\end{equation}
Applying Theorem 15 from \cite{RosserShoenfeld}, we know
\begin{equation}
\left(1-\frac{1}{2^{k+1}}\right)\frac{2^kn}{\ph(2^kn)}<\left(1-\frac{1}{2^{k+1}}\right)\left(e^\gamma \log(\log(2^kn))+\frac{2.51}{\log(\log(2^kn))}\right).
\end{equation}
We ask which $n$ satisfy
\begin{equation}
\left(1-\frac{1}{2^{k+1}}\right)\left(e^\gamma \log(\log(2^kn))+\frac{2.51}{\log(\log(2^kn))}\right)<e^\gamma(\log(\log(2^kn))).
\end{equation}
This is equivalent to asking when
\begin{equation}
\frac{2.51(2^{k+1}-1)}{e^\gamma}<(\log(\log(2^kn)))^2
\end{equation}
holds, which is when
\begin{equation}\label{lower bound on n for sigma(2^k n)/2^k n<e^gamma log(log(2^k n))}
n>\frac{e^{e^{\sqrt{\frac{2.51(2^{k+1}-1)}{e^\gamma}}}}}{2^k}=:b(k).
\end{equation}
Thus, we obtain the following:
\begin{theorem}\label{Robin's inequality holds for sufficiently big numbers of the form 2^k n}
Given any $k\in\NN$, Robin's inequality holds for all numbers of the form $2^kn$ when $n$ is odd and satisfies \eqref{lower bound on n for sigma(2^k n)/2^k n<e^gamma log(log(2^k n))}.
\end{theorem}
In particular, we have
\begin{corollary}
If $n\geq 620$ is odd, then Robin's inequality holds for $2n$. Furthermore, Robin's inequality holds for all primorials $>30$.
\end{corollary}
\begin{proof}
The first statement follows immediately from \ref{Robin's inequality holds for sufficiently big numbers of the form 2^k n} and the second follows from the computation of primorials $<1240$.
\end{proof}
\subsection{All 21-free numbers}\label{21-free numbers}
The results of the previous subsection, are based on the inequality in Theorem 15 from \cite{RosserShoenfeld}. This inequality can be improved by using a better bound stated in \cite{AxlerNicolas}:
\begin{equation}
\frac{m}{\ph(m)} < e^{\gamma} \log(\log(m)) + \frac{.0168}{(\log(\log(m)))^2}.
\end{equation}
for $m \geq 10^{10^{13.11485}}= C.$
Using the same reasoning as before, we derive the following result.
\begin{theorem}\label{Robin's inequality holds for sufficiently big numbers of the form 2^k n improved}
Given any $k$ natural number, Robin's inequality holds for all numbers of the form $2^kn$ when $n$ is odd and satisfies
\begin{equation}
2^kn > e^{e^{\left(\frac{.0168(2^{k+1} -1)}{e^{\gamma}}\right)^{\frac{1}{3}}}} =: 2^k\tilde{b}(k)
\end{equation}
\end{theorem}
Furthermore, it was shown in \cite{MorrillandPlatt} that Robin's inequality holds for all natural numbers $5041 < m \leq C.$. We can thus conclude the following:
\begin{theorem}
Robin's inequality holds for all natural numbers of the form $2^kn$ with $n$ odd as long as $2^k\tilde{b}(k) < C.$
In particular, Robin's inequality holds for all 21-free numbers.
\end{theorem}
\begin{proof}
Let $k$ be a natural number and $n$ be an odd natural number.
\begin{itemize}
\item if $5041< 2^kn \leq 2^k \tilde{b}(k)<C$ then $2^kn$ satisfies Robin's inequality by \cite{MorrillandPlatt}
\item Alternatively, if $2^kn > 2^k\tilde{b}(k)$ then $2^kn$ satisfies Robin's inequality by \ref{Robin's inequality holds for sufficiently big numbers of the form 2^k n improved}.
\end{itemize}
Recalling that a $\ell$-free number is a natural number not divisible by any $\ell$ power of a prime number greater than or equal to $2$, we can see that if $2^k\tilde{b}(k)< C$ then all $(k+1)$-free numbers satisfy Robin's inequality.
Since $\log(2^{20}\tilde{b}(20)) < 6(10^{11})< 2.3 (10^{13.11485} < \log(C)$, we can conclude that Robin's inequality holds for all 21-free numbers.
\end{proof}
\begin{remark}
The validity of Robin's inequality for $\ell$-free numbers was proved for $\ell = 7$ in \cite{SolePlanat}, for $\ell = 11$ in \cite{BroughanTrudgian} and for $\ell =20$ in \cite{MorrillandPlatt}.
\end{remark}
\subsection{Almost every number}\label{almost every number}
\begin{definition}
The \emph{natural density} of a set $E$ is
\begin{equation}
d(E)=\lim_{s\to\infty}\frac{\#E\cap\{1,2,\dots,s\}}{s}
\end{equation}
when the limit exists.
\end{definition}
\begin{theorem}
Denote by $\mathcal R$ the set of numbers satisfying Robin's inequality. Then the natural density of $\mathcal R$ is $1$.
\end{theorem}
\begin{proof}
We will prove that the natural density of $\mathcal R^c$ is $0$. Fix $\epsilon>0$. Let $E_k=\{2^kn:n\in\mathbb N_\text{odd},n\leq b(k)\}$ and note that $\mathcal R^c\subseteq \bigcup_{k\geq 1}E_k$ by \ref{Robin's inequality for numbers not divisible by p_j} and \ref{Robin's inequality holds for sufficiently big numbers of the form 2^k n}.\footnote{Here $\mathbb N_\text{odd}:=\{1,3,\dots\}$.} Pick $M$ so that $\sum_{k=M+1}^\infty\frac{1}{2^k}<\frac\epsilon2$. For $s\in\mathbb N$ we calculate
\begin{equation}\label{density calculations eq 1}
\begin{aligned}
\frac{\#\mathcal R^c\cap\{1,2,\dots,s\}}{s} &\leq \frac{\#\bigcup_{k\geq 1}E_k\cap\{1,2,\dots,s\}}{s}= \frac{\sum_{k\geq 1}\#E_k\cap\{1,2,\dots,s\}}{s} \\
&= \frac{\sum_{k=1}^M \#E_k\cap\{1,2,\dots,s\}+\sum_{k=M+1}^\infty \#E_k\cap\{1,2,\dots,s\}}{s},
\end{aligned}
\end{equation}
where the first equality follows from the fact that the $E_k$'s are disjoint. Noting that $\sum_{k=1}^M\#E_k\cap\{1,2,\dots,s\}<\infty$ for all $s\in\NN$, we see that we can pick $S$ so that $s\geq S$ implies that the RHS of \eqref{density calculations eq 1} is $<\epsilon$, completing our proof.
\end{proof}
\begin{remark}
Using less elementary results from number theory, Wójtowicz \cite{Wojtowicz07} proves the following stronger result: for every $0 < C \le 1$, there exists a subset $W_C \subseteq \mathcal R$ such that $d(W_C)=1$ and for all $n\in W_C$,
\begin{equation}
\frac{\sigma(n)}{n}<Ce^\gamma \log(\log(n)).
\end{equation}
\end{remark}
\section{The Lagarias and Kaneko-Lagarias Inequalities}\label{Lagarias ineq sec}
\subsection{Superabundant numbers}
Let $\Gamma(x)$ denote the gamma function. We define two functions:
\begin{equation}
\begin{aligned}
H(x) &= \int_0^1\frac{t^x-1}{t-1}\dd t, \\
\psi(x) &= \frac{\Gamma'(x)}{\Gamma(x)}.
\end{aligned}
\end{equation}
$\psi$ is known as the \emph{digamma function}. It is known that $H$ is smooth for $x\geq 1$ and that $H(n)=H_n$ for all $n\in\NN$. Additionally, $\psi$, known as the digamma function, satisfies
\begin{equation}\label{H(x)=psi(x+1)+gamma}
H(x)=\psi(x+1)+\gamma.
\end{equation}
\begin{lemma}\label{first H(x) bound}
For all $x\geq 1$,
\begin{equation}\label{first H(x) bound eq}
H(x)<\log(x)+\gamma+\frac{1}{2x}.
\end{equation}
\end{lemma}
\begin{proof}
By (2.2) from \cite{Alzer},
\begin{equation}
\psi(x)<\log(x)-\frac{1}{2x}
\end{equation}
for all $x\geq 1$. Then we use \eqref{H(x)=psi(x+1)+gamma} and $\psi(x+1)=\psi(x)+\frac 1x$ to finish.
\end{proof}
\begin{lemma}
For all $x\geq 4$,
\begin{equation}
H(x)<\frac{2\log(x)}{1+\frac{6}{\pi^2 x}}.
\end{equation}
\end{lemma}
\begin{proof}
By \ref{first H(x) bound}, it suffices to show that
\begin{equation}\label{second H(x) bound eq1}
\log(x)+\gamma+\frac{1}{2x}<\frac{2\log(x)}{1+\frac{6}{\pi^2 x}}
\end{equation}
for $x\geq 4$. By arithmetic manipulations, \eqref{second H(x) bound eq1} becomes
\begin{equation}\label{second H(x) bound eq2}
\frac{1}{\pi^2 x-6}\left(\gamma\pi^2x+\frac{\pi^2}{2}+6\gamma+\frac 3x\right)<\log(x).
\end{equation}
Computation reveals that \eqref{second H(x) bound eq2} holds for $x=4$, and the LHS of \eqref{second H(x) bound eq2} is decreasing while the RHS is increasing, so we obtain the result.
\end{proof}
\begin{lemma}\label{two estimates}
The following hold:
\begin{enumerate}
\item For all $n>1$, $H_{n+1}\leq\frac{n}{\log(n)}$.
\item For all $x\geq 4$, $\log(H(x))\leq\frac{x}{2\log(x)}$.
\end{enumerate}
\end{lemma}
\begin{proof}
(a) We can manually verify the inequality for $n\leq 6$. Noting that
\begin{equation}
H_{n+1}=\sum_{k=1}^{n+1}\frac 1k\leq 1+\int_1^{n+1}\frac{\dd t}{t}=1+\log(n+1),
\end{equation}
it suffices to show that
\begin{equation}
\log(x)(\log(x+1)+1)\leq x.
\end{equation}
Put $g(t)=e^t-t^2-t-1$. We see that $g(2)>0$ and that $g'(t)=e^t-2t-1>0$ for $t\geq 2$, so $g(t)>0$ for $t\geq 2$. For $x\geq e^2-1$ we have
\begin{equation}
0<g(\log(x+1))=x+1-(\log(x+1))^2-\log(x+1)-1<x-\log(x)(\log(x+1)+1).
\end{equation}
(b) For $x\geq 4$, note that the function mapping $x\mapsto \frac{x}{\log(x)}$ is increasing. If $n\leq x<n+1$, then
\begin{equation}\label{bound on log(H(x)) eq}
H_n\leq H(x)< H_{n+1}\leq\frac{n}{\log(n)}\leq\frac{x}{\log(x)}.
\end{equation}
For $y>2$ we see that $\log(y)<\frac y2$, so let $y=H(x)$ and apply \eqref{bound on log(H(x)) eq} finish.
\end{proof}
\begin{lemma}\label{H(x)log(H(x) bound}
For $x\geq 4$,
\begin{equation}
H(x)\log(H(x))<\frac{x^2}{x+\frac{6}{\pi^2}}.
\end{equation}
\end{lemma}
\begin{proof}
Apply \ref{first H(x) bound} and \ref{two estimates}.
\end{proof}
\begin{lemma}\label{H'(x) bound}
For $x\geq 4$,
\begin{equation}
H'(x)>\frac{H(x)\log(H(x))}{x^2}.
\end{equation}
\end{lemma}
\begin{proof}
We will use (51) from \cite{DolatabadiandFarhanddoost} which states that
\begin{equation}
\frac{1}{\psi'(x)}\leq x+\frac{6}{\pi^2}-1
\end{equation}
for $x\geq 1$. We calculate
\begin{equation}
H'(x)=\psi'(x+1)\geq\frac{1}{x+6\pi^2}>\frac{H(x)\log(H(x))}{x^2},
\end{equation}
where the equality follows from taking the derivative of \eqref{H(x)=psi(x+1)+gamma} and the second inequality follows from \ref{H(x)log(H(x) bound}.
\end{proof}
\begin{proposition}\label{f(x) increasing}
The function
\begin{equation}
g(x)=\frac{\exp(H(x))\log(H(x))}{x}
\end{equation}
is increasing for $x\geq 4$.
\end{proposition}
\begin{proof}
We start with (3.5) from \cite{Lagarias}:
\begin{equation}
\begin{aligned}
& H_n=\log(n)+\gamma+\int_n^\infty \frac{x-\lfloor x\rfloor}{x^2}\dd x \\
&\implies \exp(H_n)=e^\gamma n\exp\left(\int_n^\infty\frac{x-\lfloor x\rfloor}{x^2}\dd x\right) \\
&\implies \frac{\exp(H_n)\log(H_n)}{n}=e^\gamma\log(H_n)\exp\left(\int_n^\infty\frac{x-\lfloor x\rfloor}{x^2}\dd x\right).
\end{aligned}
\end{equation}
Given $k\in\NN$, put
\begin{equation}
g_k(x)=e^\gamma\log(H(x))\exp\left(\int_x^k\frac{t-\lfloor t\rfloor}{t^2}\dd t\right)
\end{equation}
so that $\lim_{k\to\infty}g_k(x)=g(x)$. We compute
\begin{equation}
g_k'(x)=e^\gamma\exp\left(\int_x^k\frac{t-\lfloor t\rfloor}{t^2}\dd t\right)\left(\frac{H'(x)}{H(x)}+\log(H(x))\left(-\frac{x-\lfloor x\rfloor}{x^2}\right)\right),
\end{equation}
so $g'_k(x)>0$ if and only if
\begin{equation}
\frac{H'(x)}{H(x)}+\log(H(x))\left(-\frac{x-\lfloor x\rfloor}{x^2}\right)\geq \frac{H'(x)}{H(x)}-\frac{\log(H(x))}{x^2}>0,
\end{equation}
which is the content of \ref{H'(x) bound}. Thus, $g(x)$ is the limit of monotonically increasing functions and is therefore monotonically increasing.
\end{proof}
\begin{corollary}
The sequence
\begin{equation}
\left\{\frac{\exp(H_n)\log(H_n)}{n}\right\}_{n=1}^\infty
\end{equation}
is monotonically increasing.
\end{corollary}
\begin{proof}
\ref{f(x) increasing} gives the result for $n\geq 4$ and we can manually check the smaller cases.
\end{proof}
\begin{definition}
A number $n$ is \emph{superabundant} if $\sigma(m)/m<\sigma(n)/n$ for all $m<n$.
\end{definition}
\begin{theorem}\label{LLI theorem}
If there are counterexamples to the Kaneko-Lagarias inequality, the smallest such counterexample is a superabundant number.
\end{theorem}
\begin{proof}
Suppose, for sake of contradiction, that $m$ is the smallest counterexample to the Kaneko-Lagarias inequality and that $m$ is not superabundant. Let $n$ be the greatest superabundant number $<m$. We calculate,
\begin{equation}
\frac{\sigma(n)}{n}>\frac{\sigma(m)}{m}\geq\frac{\exp(H_m)\log(H_m)}{m}>\frac{\exp(H_n)\log(H_n)}{n},
\end{equation}
so $n<m$ violates the Kaneko-Lagarias inequality: a contradiction.
\end{proof}
\subsection{Connection to Robin's inequality}
\begin{theorem}
If Robin's inequality holds for some $n\in\NN$, then the Kaneko-Lagarias inequality holds for $n$.
\end{theorem}
\begin{proof}
We use the approximation
\begin{equation}
H_n\geq\log(n)+\gamma+\frac{1}{2n+1}
\end{equation}
to calculate
\begin{equation}
\begin{aligned}
\frac{\exp(H_n)\log(H_n)}{n}\geq \frac{e^{\gamma+\frac{1}{2n+1}}n\log\left(\log(n)+\gamma+\frac{1}{2n+1}\right)}{n}>e^\gamma\log(\log(n)),
\end{aligned}
\end{equation}
which implies the result.
\end{proof}
Note that we obtain the same result for the Lagarias inequality.
\section*{Acknowledgments}
The first author thanks Jeff Lagarias for his comments and the references he provided. The third author thanks Keith Briggs for providing his code used to compute superabundant numbers, Perry Thompson and Owen McAllister for their help implementing it in Rust and Jean-Louis Nicolas for sharing the paper \cite{AxlerNicolas}.We also thank the anonymous referees for their helpful comments, which certainly improved the quality of this paper.
%\bibliographystyle{siam}
%\bibliography{sample}
\printbibliography
\end{document}
% $ biblatex auxiliary file $
% $ biblatex bbl format version 3.2 $
% Do not modify the above lines!
%
% This is an auxiliary file used by the 'biblatex' package.
% This file may safely be deleted. It will be recreated by
% biber as required.
%
\begingroup
\makeatletter
\@ifundefined{ver@biblatex.sty}
{\@latex@error
{Missing 'biblatex' package}
{The bibliography requires the 'biblatex' package.}
\aftergroup\endinput}
{}
\endgroup
\refsection{0}
\datalist[entry]{nty/global//global/global}
\entry{AkbaryFriggstad}{article}{}
\name{author}{2}{}{%
{{hash=21b755916660360fcea86c089d7404bc}{%
family={Akbary},
familyi={A\bibinitperiod},
given={Amir},
giveni={A\bibinitperiod}}}%
{{hash=147a7b0efe8a0e00dd1252f27fb0ef88}{%
family={Friggstad},
familyi={F\bibinitperiod},
given={Zachary},
giveni={Z\bibinitperiod}}}%
}
\list{publisher}{1}{%
{[Taylor & Francis, Ltd., Mathematical Association of America]}%
}
\strng{namehash}{b93191c73ccc5d2ae672eda88685e7ab}
\strng{fullhash}{b93191c73ccc5d2ae672eda88685e7ab}
\strng{bibnamehash}{b93191c73ccc5d2ae672eda88685e7ab}
\strng{authorbibnamehash}{b93191c73ccc5d2ae672eda88685e7ab}
\strng{authornamehash}{b93191c73ccc5d2ae672eda88685e7ab}
\strng{authorfullhash}{b93191c73ccc5d2ae672eda88685e7ab}
\field{sortinit}{A}
\field{sortinithash}{2f401846e2029bad6b3ecc16d50031e2}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{The American Mathematical Monthly}
\field{number}{3}
\field{title}{Superabundant Numbers and the Riemann Hypothesis}
\field{volume}{116}
\field{year}{2009}
\field{pages}{273\bibrangedash 275}
\range{pages}{3}
\endentry
\entry{AFJ07}{article}{}
\name{author}{3}{}{%
{{hash=21b755916660360fcea86c089d7404bc}{%
family={Akbary},
familyi={A\bibinitperiod},
given={Amir},
giveni={A\bibinitperiod}}}%
{{hash=147a7b0efe8a0e00dd1252f27fb0ef88}{%
family={Friggstad},
familyi={F\bibinitperiod},
given={Zachary},
giveni={Z\bibinitperiod}}}%
{{hash=2c094896a2e2dc93969bd219487eb002}{%
family={Juricevic},
familyi={J\bibinitperiod},
given={Robert},
giveni={R\bibinitperiod}}}%
}
\strng{namehash}{ffa88d25b3f52fd6dc040cc12e4a8f67}
\strng{fullhash}{ffa88d25b3f52fd6dc040cc12e4a8f67}
\strng{bibnamehash}{ffa88d25b3f52fd6dc040cc12e4a8f67}
\strng{authorbibnamehash}{ffa88d25b3f52fd6dc040cc12e4a8f67}
\strng{authornamehash}{ffa88d25b3f52fd6dc040cc12e4a8f67}
\strng{authorfullhash}{ffa88d25b3f52fd6dc040cc12e4a8f67}
\field{sortinit}{A}
\field{sortinithash}{2f401846e2029bad6b3ecc16d50031e2}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Contrib. Discrete Math.}
\field{number}{2}
\field{title}{Explicit upper bounds for $\prod_{p_\omega(n)}\frac{p}{p-1}$}
\field{volume}{2}
\field{year}{2007}
\field{pages}{153\bibrangedash 160}
\range{pages}{8}
\endentry
\entry{Alzer}{article}{}
\name{author}{1}{}{%
{{hash=9a3c522b530363283fc1801cf7a11131}{%
family={Alzer},
familyi={A\bibinitperiod},
given={Horst},
giveni={H\bibinitperiod}}}%
}
\list{publisher}{1}{%
{American Mathematical Society}%
}
\strng{namehash}{9a3c522b530363283fc1801cf7a11131}
\strng{fullhash}{9a3c522b530363283fc1801cf7a11131}
\strng{bibnamehash}{9a3c522b530363283fc1801cf7a11131}
\strng{authorbibnamehash}{9a3c522b530363283fc1801cf7a11131}
\strng{authornamehash}{9a3c522b530363283fc1801cf7a11131}
\strng{authorfullhash}{9a3c522b530363283fc1801cf7a11131}
\field{sortinit}{A}
\field{sortinithash}{2f401846e2029bad6b3ecc16d50031e2}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Mathematics of Computation}
\field{number}{217}
\field{title}{On Some Inequalities for the Gamma and Psi Functions}
\field{volume}{66}
\field{year}{1997}
\field{pages}{373\bibrangedash 389}
\range{pages}{17}
\endentry
\entry{Axler23}{article}{}
\name{author}{1}{}{%
{{hash=44643bbaa654b8fb89d8d68f8c7a7b82}{%
family={Axler},
familyi={A\bibinitperiod},
given={Christian},
giveni={C\bibinitperiod}}}%
}
\list{publisher}{1}{%
{Springer}%
}
\strng{namehash}{44643bbaa654b8fb89d8d68f8c7a7b82}
\strng{fullhash}{44643bbaa654b8fb89d8d68f8c7a7b82}
\strng{bibnamehash}{44643bbaa654b8fb89d8d68f8c7a7b82}
\strng{authorbibnamehash}{44643bbaa654b8fb89d8d68f8c7a7b82}
\strng{authornamehash}{44643bbaa654b8fb89d8d68f8c7a7b82}
\strng{authorfullhash}{44643bbaa654b8fb89d8d68f8c7a7b82}
\field{sortinit}{A}
\field{sortinithash}{2f401846e2029bad6b3ecc16d50031e2}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{The Ramanujan Journal}
\field{number}{3}
\field{title}{On Robin’s inequality}
\field{volume}{61}
\field{year}{2023}
\field{pages}{909\bibrangedash 919}
\range{pages}{11}
\endentry
\entry{AxlerNicolas}{article}{}
\name{author}{2}{}{%
{{hash=44643bbaa654b8fb89d8d68f8c7a7b82}{%
family={Axler},
familyi={A\bibinitperiod},
given={Christian},
giveni={C\bibinitperiod}}}%
{{hash=ad7f92664032bfba1eecfd9949dcefd1}{%
family={Nicolas},
familyi={N\bibinitperiod},
given={Jean-Louis},
giveni={J\bibinithyphendelim L\bibinitperiod}}}%
}
\strng{namehash}{d28a90f309fa1e9a5465f3976b856d6b}
\strng{fullhash}{d28a90f309fa1e9a5465f3976b856d6b}
\strng{bibnamehash}{d28a90f309fa1e9a5465f3976b856d6b}
\strng{authorbibnamehash}{d28a90f309fa1e9a5465f3976b856d6b}
\strng{authornamehash}{d28a90f309fa1e9a5465f3976b856d6b}
\strng{authorfullhash}{d28a90f309fa1e9a5465f3976b856d6b}
\field{sortinit}{A}
\field{sortinithash}{2f401846e2029bad6b3ecc16d50031e2}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Acta Arithmetica}
\field{title}{Large values of $\frac{n}{\ph(n)}$}
\field{volume}{209}
\field{year}{2022}
\field{pages}{357\bibrangedash 383}
\range{pages}{27}
\endentry
\entry{BroughanTrudgian}{article}{}
\name{author}{2}{}{%
{{hash=3cf3a2bbb7740807de30e0a8d0eff011}{%
family={Boughan},
familyi={B\bibinitperiod},
given={Kevin},
giveni={K\bibinitperiod}}}%
{{hash=af8f95636cfb8ee32db62432b50fcea2}{%
family={Trudgian},
familyi={T\bibinitperiod},
given={Tim},
giveni={T\bibinitperiod}}}%
}
\strng{namehash}{e13150a461287fe15127b85e89347cce}
\strng{fullhash}{e13150a461287fe15127b85e89347cce}
\strng{bibnamehash}{e13150a461287fe15127b85e89347cce}
\strng{authorbibnamehash}{e13150a461287fe15127b85e89347cce}
\strng{authornamehash}{e13150a461287fe15127b85e89347cce}
\strng{authorfullhash}{e13150a461287fe15127b85e89347cce}
\field{sortinit}{B}
\field{sortinithash}{d7095fff47cda75ca2589920aae98399}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Integers}
\field{title}{Robin's inequality for 11-free integers}
\field{volume}{15}
\field{year}{2015}
\endentry
\entry{Choieetal}{article}{}
\name{author}{4}{}{%
{{hash=18834415082af00edc3c8616ad7ccaf1}{%
family={Choie},
familyi={C\bibinitperiod},
given={YoungJu},
giveni={Y\bibinitperiod}}}%
{{hash=b17c83fc7399eb693caf19b24dd28be3}{%
family={Lichiardopol},
familyi={L\bibinitperiod},
given={Nicolas},
giveni={N\bibinitperiod}}}%
{{hash=40a927b0e919f747a0218929b31aef12}{%
family={Moree},
familyi={M\bibinitperiod},
given={Pieter},
giveni={P\bibinitperiod}}}%
{{hash=94e722f23b1806e8c7664958bf1ae7b4}{%
family={Solé},
familyi={S\bibinitperiod},
given={Patrick},
giveni={P\bibinitperiod}}}%
}
\list{publisher}{1}{%
{Société Arithmétique de Bordeaux}%
}
\strng{namehash}{e8a8b169892487c517b2aab5cc30a587}
\strng{fullhash}{31a3829e2e8bc97ceefdc845391ca5d3}
\strng{bibnamehash}{e8a8b169892487c517b2aab5cc30a587}
\strng{authorbibnamehash}{e8a8b169892487c517b2aab5cc30a587}
\strng{authornamehash}{e8a8b169892487c517b2aab5cc30a587}
\strng{authorfullhash}{31a3829e2e8bc97ceefdc845391ca5d3}
\field{sortinit}{C}
\field{sortinithash}{4d103a86280481745c9c897c925753c0}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Journal de Théorie des Nombres de Bordeaux}
\field{number}{2}
\field{title}{On Robin's criterion for the Riemann hypothesis}
\field{volume}{19}
\field{year}{2007}
\field{pages}{357\bibrangedash 372}
\range{pages}{16}
\endentry
\entry{Dusart}{article}{}
\name{author}{1}{}{%
{{hash=34a11ef93294af142e84c4243d02208b}{%
family={Dusart},
familyi={D\bibinitperiod},
given={Pierre},
giveni={P\bibinitperiod}}}%
}
\list{publisher}{1}{%
{American Mathematical Society}%
}
\strng{namehash}{34a11ef93294af142e84c4243d02208b}
\strng{fullhash}{34a11ef93294af142e84c4243d02208b}
\strng{bibnamehash}{34a11ef93294af142e84c4243d02208b}
\strng{authorbibnamehash}{34a11ef93294af142e84c4243d02208b}
\strng{authornamehash}{34a11ef93294af142e84c4243d02208b}
\strng{authorfullhash}{34a11ef93294af142e84c4243d02208b}
\field{sortinit}{D}
\field{sortinithash}{6f385f66841fb5e82009dc833c761848}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Mathematics of Computation}
\field{number}{225}
\field{title}{The $k$-th Prime is Greater than $k(\log(k)() + \log(\log(k)) - 1)$ for $k\geq 2$}
\field{volume}{68}
\field{year}{1999}
\field{pages}{411\bibrangedash 415}
\range{pages}{5}
\endentry
\entry{DolatabadiandFarhanddoost}{article}{}
\name{author}{2}{}{%
{{hash=ad89a1d6e55651b62a1b77e67e980761}{%
family={Farhangdoost},
familyi={F\bibinitperiod},
given={M.\bibnamedelimi R.},
giveni={M\bibinitperiod\bibinitdelim R\bibinitperiod}}}%
{{hash=458d0248da82aa3fd0afc703b2379f95}{%
family={Dolatabadi},
familyi={D\bibinitperiod},
given={M.\bibnamedelimi Kargar},
giveni={M\bibinitperiod\bibinitdelim K\bibinitperiod}}}%
}
\strng{namehash}{9e1b5bf047a481099defd344a8787b77}
\strng{fullhash}{9e1b5bf047a481099defd344a8787b77}
\strng{bibnamehash}{9e1b5bf047a481099defd344a8787b77}
\strng{authorbibnamehash}{9e1b5bf047a481099defd344a8787b77}
\strng{authornamehash}{9e1b5bf047a481099defd344a8787b77}
\strng{authorfullhash}{9e1b5bf047a481099defd344a8787b77}
\field{sortinit}{F}
\field{sortinithash}{2638baaa20439f1b5a8f80c6c08a13b4}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Journal of Applied Mathematics}
\field{title}{New Inequalities for Gamma and Digamma Functions}
\field{volume}{2014}
\field{year}{2014}
\field{pages}{1\bibrangedash 7}
\range{pages}{7}
\endentry
\entry{Hertlein16}{article}{}
\name{author}{1}{}{%
{{hash=9024ff8c6ff915472e19400aaa440f63}{%
family={Hertlein},
familyi={H\bibinitperiod},
given={Alexander},
giveni={A\bibinitperiod}}}%
}
\strng{namehash}{9024ff8c6ff915472e19400aaa440f63}
\strng{fullhash}{9024ff8c6ff915472e19400aaa440f63}
\strng{bibnamehash}{9024ff8c6ff915472e19400aaa440f63}
\strng{authorbibnamehash}{9024ff8c6ff915472e19400aaa440f63}
\strng{authornamehash}{9024ff8c6ff915472e19400aaa440f63}
\strng{authorfullhash}{9024ff8c6ff915472e19400aaa440f63}
\field{sortinit}{H}
\field{sortinithash}{23a3aa7c24e56cfa16945d55545109b5}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{arXiv preprint arXiv:1612.05186}
\field{title}{Robin's inequality for new families of integers}
\field{year}{2016}
\endentry
\entry{Lagarias}{article}{}
\name{author}{1}{}{%
{{hash=3a03b0f1ee589fa0e4dd1e4642155ca6}{%
family={Lagarias},
familyi={L\bibinitperiod},
given={Jeffrey\bibnamedelima C.},
giveni={J\bibinitperiod\bibinitdelim C\bibinitperiod}}}%
}
\list{publisher}{1}{%
{Mathematical Association of America}%
}
\strng{namehash}{3a03b0f1ee589fa0e4dd1e4642155ca6}
\strng{fullhash}{3a03b0f1ee589fa0e4dd1e4642155ca6}
\strng{bibnamehash}{3a03b0f1ee589fa0e4dd1e4642155ca6}
\strng{authorbibnamehash}{3a03b0f1ee589fa0e4dd1e4642155ca6}
\strng{authornamehash}{3a03b0f1ee589fa0e4dd1e4642155ca6}
\strng{authorfullhash}{3a03b0f1ee589fa0e4dd1e4642155ca6}
\field{sortinit}{L}
\field{sortinithash}{7c47d417cecb1f4bd38d1825c427a61a}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{The American Mathematical Monthly}
\field{number}{6}
\field{title}{An Elementary Problem Equivalent to the Riemann Hypothesis}
\field{volume}{109}
\field{year}{2002}
\field{pages}{534\bibrangedash 543}
\range{pages}{10}
\endentry
\entry{Luca}{article}{}
\name{author}{3}{}{%
{{hash=b64fd988c300209d262c66adcf08706f}{%
family={Luca},
familyi={L\bibinitperiod},
given={Florian},
giveni={F\bibinitperiod}}}%
{{hash=34cd111572eb6a2915f43f1b19d9a81b}{%
family={Pomerance},
familyi={P\bibinitperiod},
given={Carl},
giveni={C\bibinitperiod}}}%
{{hash=94e722f23b1806e8c7664958bf1ae7b4}{%
family={Solé},
familyi={S\bibinitperiod},
given={Patrick},
giveni={P\bibinitperiod}}}%
}
\strng{namehash}{e6403901a91f166f49917351b5941dfd}
\strng{fullhash}{e6403901a91f166f49917351b5941dfd}
\strng{bibnamehash}{e6403901a91f166f49917351b5941dfd}
\strng{authorbibnamehash}{e6403901a91f166f49917351b5941dfd}
\strng{authornamehash}{e6403901a91f166f49917351b5941dfd}
\strng{authorfullhash}{e6403901a91f166f49917351b5941dfd}
\field{sortinit}{L}
\field{sortinithash}{7c47d417cecb1f4bd38d1825c427a61a}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Integers}
\field{title}{Corrigendum to \#A8 of Volume 25, on Robin's Inequality}
\field{volume}{25}
\field{year}{2025}
\endentry
\entry{MorrillandPlatt}{article}{}
\name{author}{2}{}{%
{{hash=f3c8d159e9793b01dd1997aa784b4e7e}{%
family={Morrill},
familyi={M\bibinitperiod},
given={Thomas},
giveni={T\bibinitperiod}}}%
{{hash=672657337855d90e71933e9c33f8753d}{%
family={Platt},
familyi={P\bibinitperiod},
given={David},
giveni={D\bibinitperiod}}}%
}
\strng{namehash}{958a8beb071d79123a54717f9a8ba177}
\strng{fullhash}{958a8beb071d79123a54717f9a8ba177}
\strng{bibnamehash}{958a8beb071d79123a54717f9a8ba177}
\strng{authorbibnamehash}{958a8beb071d79123a54717f9a8ba177}
\strng{authornamehash}{958a8beb071d79123a54717f9a8ba177}
\strng{authorfullhash}{958a8beb071d79123a54717f9a8ba177}
\field{sortinit}{M}
\field{sortinithash}{4625c616857f13d17ce56f7d4f97d451}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Integers}
\field{title}{Robin's inequality for 20-free integers}
\field{volume}{21}
\field{year}{2020}
\endentry
\entry{Robin}{article}{}
\name{author}{1}{}{%
{{hash=28b00c8013a39aa054af5aea7f8c5286}{%
family={Robin},
familyi={R\bibinitperiod},
given={Guy},
giveni={G\bibinitperiod}}}%
}
\strng{namehash}{28b00c8013a39aa054af5aea7f8c5286}
\strng{fullhash}{28b00c8013a39aa054af5aea7f8c5286}
\strng{bibnamehash}{28b00c8013a39aa054af5aea7f8c5286}
\strng{authorbibnamehash}{28b00c8013a39aa054af5aea7f8c5286}
\strng{authornamehash}{28b00c8013a39aa054af5aea7f8c5286}
\strng{authorfullhash}{28b00c8013a39aa054af5aea7f8c5286}
\field{sortinit}{R}
\field{sortinithash}{5e1c39a9d46ffb6bebd8f801023a9486}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Journal de Mathématiques Pures et Appliquées}
\field{title}{Grandes valeurs de la fonction somme des diviseurs et hypothèse de Riemann}
\field{volume}{63}
\field{year}{1984}
\field{pages}{187\bibrangedash 213}
\range{pages}{27}
\endentry
\entry{RosserShoenfeld}{article}{}
\name{author}{2}{}{%
{{hash=14b76cd756023555a4b6632dbee72243}{%
family={Rosser},
familyi={R\bibinitperiod},
given={J.\bibnamedelimi Barkley},
giveni={J\bibinitperiod\bibinitdelim B\bibinitperiod}}}%
{{hash=197eb6ee8cad0f814cbfe07e59001ef3}{%
family={Schoenfeld},
familyi={S\bibinitperiod},
given={Lowell},
giveni={L\bibinitperiod}}}%
}
\list{publisher}{1}{%
{Duke University Press}%
}
\strng{namehash}{748c2386a8972928ef3f5dc56357fa0e}
\strng{fullhash}{748c2386a8972928ef3f5dc56357fa0e}
\strng{bibnamehash}{748c2386a8972928ef3f5dc56357fa0e}
\strng{authorbibnamehash}{748c2386a8972928ef3f5dc56357fa0e}
\strng{authornamehash}{748c2386a8972928ef3f5dc56357fa0e}
\strng{authorfullhash}{748c2386a8972928ef3f5dc56357fa0e}
\field{sortinit}{R}
\field{sortinithash}{5e1c39a9d46ffb6bebd8f801023a9486}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Illinois Journal of Mathematics}
\field{number}{1}
\field{title}{{Approximate formulas for some functions of prime numbers}}
\field{volume}{6}
\field{year}{1962}
\field{pages}{64\bibrangedash 94}
\range{pages}{31}
\endentry
\entry{SolePlanat}{article}{}
\name{author}{2}{}{%
{{hash=1ad2a1d567efd2c9775fe67335e290a0}{%
family={Sole},
familyi={S\bibinitperiod},
given={P.},
giveni={P\bibinitperiod}}}%
{{hash=518d22e78c24dc7b08e10bbf7997aa17}{%
family={Planat},
familyi={P\bibinitperiod},
given={M.},
giveni={M\bibinitperiod}}}%
}
\strng{namehash}{df8434b8f5b373cfc71aea0682e36d20}
\strng{fullhash}{df8434b8f5b373cfc71aea0682e36d20}
\strng{bibnamehash}{df8434b8f5b373cfc71aea0682e36d20}
\strng{authorbibnamehash}{df8434b8f5b373cfc71aea0682e36d20}
\strng{authornamehash}{df8434b8f5b373cfc71aea0682e36d20}
\strng{authorfullhash}{df8434b8f5b373cfc71aea0682e36d20}
\field{sortinit}{S}
\field{sortinithash}{b164b07b29984b41daf1e85279fbc5ab}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Integers}
\field{title}{The Robin inequality for 7-free integers}
\field{volume}{12}
\field{year}{2012}
\field{pages}{301\bibrangedash 309}
\range{pages}{9}
\endentry
\entry{Tenenbaum}{book}{}
\name{author}{1}{}{%
{{hash=86a3a96f95d5bdf2dc486621c95ebdb6}{%
family={Tenenbaum},
familyi={T\bibinitperiod},
given={Gérald},
giveni={G\bibinitperiod}}}%
}
\list{publisher}{1}{%
{Cambridge University Press, Cambridge}%
}
\strng{namehash}{86a3a96f95d5bdf2dc486621c95ebdb6}
\strng{fullhash}{86a3a96f95d5bdf2dc486621c95ebdb6}
\strng{bibnamehash}{86a3a96f95d5bdf2dc486621c95ebdb6}
\strng{authorbibnamehash}{86a3a96f95d5bdf2dc486621c95ebdb6}
\strng{authornamehash}{86a3a96f95d5bdf2dc486621c95ebdb6}
\strng{authorfullhash}{86a3a96f95d5bdf2dc486621c95ebdb6}
\field{sortinit}{T}
\field{sortinithash}{9af77f0292593c26bde9a56e688eaee9}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{edition}{French}
\field{series}{Cambridge Studies in Advanced Mathematics}
\field{title}{Introduction to analytic and probabilistic number theory}
\field{volume}{46}
\field{year}{1995}
\field{pages}{xvi+448}
\range{pages}{-1}
\endentry
\entry{WashingtonYang21}{article}{}
\name{author}{2}{}{%
{{hash=69835b36275ec8c34f049b5bcea8cf76}{%
family={Washington},
familyi={W\bibinitperiod},
given={Lawrence\bibnamedelima C},
giveni={L\bibinitperiod\bibinitdelim C\bibinitperiod}}}%
{{hash=9b8bec8dd50cc9a9a80c4bfadd307d9c}{%
family={Yang},
familyi={Y\bibinitperiod},
given={Ambrose},
giveni={A\bibinitperiod}}}%
}
\list{publisher}{1}{%
{World Scientific}%
}
\strng{namehash}{9b5154492a366e33a5eab41ebb7393c7}
\strng{fullhash}{9b5154492a366e33a5eab41ebb7393c7}
\strng{bibnamehash}{9b5154492a366e33a5eab41ebb7393c7}
\strng{authorbibnamehash}{9b5154492a366e33a5eab41ebb7393c7}
\strng{authornamehash}{9b5154492a366e33a5eab41ebb7393c7}
\strng{authorfullhash}{9b5154492a366e33a5eab41ebb7393c7}
\field{sortinit}{W}
\field{sortinithash}{4315d78024d0cea9b57a0c6f0e35ed0d}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{International Journal of Number Theory}
\field{number}{04}
\field{title}{Analogues of the Robin--Lagarias criteria for the Riemann hypothesis}
\field{volume}{17}
\field{year}{2021}
\field{pages}{843\bibrangedash 870}
\range{pages}{28}
\endentry
\entry{Wojtowicz07}{article}{}
\name{author}{1}{}{%
{{hash=9e7dcc5f3c458230ae3a792673b00cc2}{%
family={Wójtowicz},
familyi={W\bibinitperiod},
given={Marek},
giveni={M\bibinitperiod}}}%
}
\strng{namehash}{9e7dcc5f3c458230ae3a792673b00cc2}
\strng{fullhash}{9e7dcc5f3c458230ae3a792673b00cc2}
\strng{bibnamehash}{9e7dcc5f3c458230ae3a792673b00cc2}
\strng{authorbibnamehash}{9e7dcc5f3c458230ae3a792673b00cc2}
\strng{authornamehash}{9e7dcc5f3c458230ae3a792673b00cc2}
\strng{authorfullhash}{9e7dcc5f3c458230ae3a792673b00cc2}
\field{sortinit}{W}
\field{sortinithash}{4315d78024d0cea9b57a0c6f0e35ed0d}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Proceedings of the Japan Academy of Sciences}
\field{number}{4}
\field{title}{Robin's inequality and the Riemann hypothesis}
\field{volume}{83}
\field{year}{2007}
\endentry
\enddatalist
\endrefsection
\endinput