Conjecture on the normalized depth function of squarefree powers
Normalized-depth conjecture. The function gI(k)g_I(k)gI​(k) is nonincreasing.