higher bound in i
he in ___