Legendre-polynomial condition for increasing equilibrium density
Increasing-density conjecture. For any given t>0t>0t>0, fd(t)f_d(t)fd​(t) is an increasing function of ddd.