Increasing-density conjecture. For any given t>0t>0t>0, fd(t)f_d(t)fd(t) is an increasing function of ddd.