higher bound i in
___