lower_bound_tai#

lower_bound_tai(tiv)#

TODO