Dalun
says to
YSITD
n < cmp(a,b) < nlog(n)