Added the O? function in software/big-o.rkt