Upper_bound_theorem loading ...