Divisor sum estimate

This is the topic of an article fragment by Ramanujan. The story as I understood it was that there were wartime paper shortages, and the original article was shortened. Nicolas and Robin seem to be giving a different reason.

I also asked about aspects of this on MO some years ago but wound up mostly answering myself, Estimate term in Ramanujan Lost Notebook (classic analytic number theory)

I wrote to Nicolas about this a few years ago. He confirmed what my experiments at the time appeared to indicate, there is a sudden jump in the asymptotics at one end of the segment you are calling $0 \leq \sigma \leq 1,$ at least under RH.

I don't have the major portion of the original article. I learned the basics from Nicolas 1988

Now I remember what I was going to include. The original article by Alaoglu and Erdos on Colossally Abundant numbers is available. For those and for the original Superior Highly Composite numbers, we can solve both directions in closed form: given real $\delta > 0,$ and a prime $p,$ we can find the best exponent $k$ for Ramanujan's optimum construction. Also, given a prime $p$ and exponent $k,$ we can find the first (largest) $\delta > 0$ that causes $p$ to be given exponent $k.$ For the non-integer $\sigma$ under current discussion, the later direction cannot be solved in closed form. This makes the whole problem of programming these sums rather unwieldy. I did come up with something, but an awful lot of work.


Combining both observations, one has the trivial bounds $$d(n)n^{-\sigma/2}\le S\le \frac{d(n)}{2}(1+n^{-\sigma})$$ The upper bound is optimal when $n$ is prime. Can one do better ?