higher bound on a
ye at ion ___