Li-Fan Chen
says to
YSITD
kn≤a (k+1)n≥b