Subpower bound for the divisor function

ID: subpower-bound-for-the-divisor-function

For each , the divisor function satisfies the displayed bound. Write , so . For all sufficiently large primes, for every . For each of the finitely many smaller primes, is finite. Multiplying these finitely many constants proves the bound. Products of a fixed number of divisor functions obey the same conclusion after reducing .

New to topics? Read the docs here!