Pareto frontier (source code)

= Pareto frontier
{c}

The Pareto frontier consists of feasible payoff vectors that no other feasible vector weakly improves in every coordinate and strictly improves in at least one. A <Nash bargaining solution> with positive gains lies on this frontier, because increasing either gain without decreasing the other raises its <Nash product>.