higher bound is reach