Template:cpp/algorithm/dsc upper bound