Za prirodni broj dd, neka je f(d)f(d) najmanji prirodni broj koji ima točno dd pozitivnih djelitelja. (Npr. f(1)=1f(1) = 1, f(5)=16f(5) = 16, f(6)=12f(6) = 12.)

Dokaži da za svaki prirodni broj kk broj f(2k1)f(2^{k-1}) dijeli f(2k)f(2^k).