upper_bound_tai#

upper_bound_tai(tiv)#

TODO