higher bound i is

a float able float down side✕