higher bound on ___