floor((d+2)(d+1)/6)<= d/4*(d/2+3)