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!