parametric_upper_bound.hpp