higher bound is is
of in ___