0
$\begingroup$

Jeffrey Lagarias proved, unconditionally, that: $$ \sigma(n)<H_n+2\exp(H_n)\log(H_n)\qquad n>1 $$

This was posed as a problem in:

  • J. C. Lagarias, Problem 10949: A generous bound for divisor sums, American Math. Monthly 109 no 6 (2002) 569, doi:10.2307/2695448

(edit: with solution given in AMM 111 no 3 (2004), 264–265, doi:10.2307/4145148)

Where can I find this problem? Or, any other links that shows how the inequality has been derived would be greatly appreciated.

EDIT: I will also accept the answer if anyone can outline the steps, how Lagarias derived his criterion.

New contributor
The Company is a new contributor to this site. Take care in asking for clarification, commenting, and answering. Check out our Code of Conduct.
$\endgroup$
  • 4
    $\begingroup$ It's not a paper. It's a problem Jeff submitted to the Monthly, and you have the citation for the issue and page where the solution was published. What's the problem? $\endgroup$ – Gerry Myerson Oct 13 at 22:22
  • 1
    $\begingroup$ The Monthly is available through JSTOR jstor.org $\endgroup$ – Stopple Oct 13 at 22:22
  • $\begingroup$ I can't find the solution. just the problem 10949 $\endgroup$ – The Company Oct 13 at 22:23
  • 3
    $\begingroup$ You likely were looking at the monthly issue in 2002 (which solely states the problem). The solution can be found in the 2004 issue found here. $\endgroup$ – Mark Oct 13 at 22:29
  • 1
    $\begingroup$ Why is there an 'also' in "Lagarias also proved unconditionally …" in the first sentence of your question? $\endgroup$ – LSpice Oct 13 at 22:39
4
$\begingroup$

The easiest way is to use Ivic's inequality

$\sigma(n)<2.59n \log \log n, n \ge 7$

Then $H_n>\log n +\gamma$ so $e^{H_N}>e^{\gamma}n$ and $\log H_n > \log \log n$ for $n \ge 3$ hence:

$2\exp(H_n)\log(H_n)>2e^{\gamma}n \log \log n>2.59 n \log \log n > \sigma(n), n \ge 7$ and check the cases $n=2,...,6$ by hand

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Thank you @Conrad $\endgroup$ – The Company Oct 13 at 22:55
  • $\begingroup$ happy to be of help $\endgroup$ – Conrad Oct 13 at 22:58

Your Answer

The Company is a new contributor. Be nice, and check out our Code of Conduct.

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.