higher bound ___