higher bound is ___