We have shown that the value of E[F_k] is equal to \tau(k) (the number of divisors of k) as soon as n\ge k. It starts out at 1 for n=1 and increases by one every time n hits a divisor of k up to and including k itself.
