Birch's theorem: if f(n) is multiplicative and has a non-decreasing normal order then f(n)=n^{alpha}
arXiv:1606.07408
Abstract
For pedagogical purposes (inclusion in lecture notes) we review the proof of the theorem stated in the title. At the end we state a problem.
arXiv comment6 pages, just for fun of reading proofs