f_k(n)を1〜nの中で約数がk個となる自然数の個数とすると
例えばf_2(n)はn以下の素数の個数になりますが
3以上の任意のn,kに対してf_k(n)<f_2(n)が成り立つでしょうか