Let σs(n) denote the sum of the sth powers of the divisors of n,
and let , where ζ(s) is the Riemann ζfunction. Ramanujan, in his paper “On certain arithmetical functions*”, proves that, if
and
then , whenever r and s are odd positive integers. He conjectures that the error term on the right of (1·1) is of the form
for every ε > 0, and that it is not of the form . He further conjectures that
for all positive values of r and s; and this conjecture has recently been proved to be correct.