Birch's theorem: if f(n) is multiplicative and has a non-decreasing   normal order then f(n)=n^{alpha}
  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. 
Martin Klazar
math.NT