higher bound in ___