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