User blog comment:D57799/Ranging FGH before omega/@comment-5529393-20141008144817/@comment-5307762-20141009112200

Your proof is elegant. I tried 2 ^{m-1} 2n as upper bound before, but didn't success. 3n is the closest one. I didn't come up with 2f_m (n) XD