23 < 32
log2xn < n2
< fn > ::= & xn