Superior upper bound