Optimality of an allocation