W słynnej pracy z 1974 r. Hal Varian udowodnił (w Twierdzeniu 2.3), że:
W gospodarce z jednorodnymi podzielnymi googami, jeśli wszyscy agenci mają preferencje monotoniczne i wypukłe , istnieje alokacja, która jest zarówno wydajna Pareto, jak i wolna od zazdrości .
Powiedział (po Twierdzeniu 2.8), że jeśli preferencje nie są wypukłe, wówczas przydziały wolne od zazdrości Pareto mogą nie istnieć. Jako przykład przedstawia następującą ekonomię: są dwaj agenci o tych samych preferencjach:
a łączny pakiet to .
Nie rozumiem, jak to jest negatywny przykład. Jeśli damy każdemu agentowi pakiet , podział będzie wolny od zazdrości, ponieważ wartość każdego agenta wynosi dokładnie 0,5. Jest także wydajna Pareto, ponieważ aby zwiększyć użyteczność jednego agenta, konieczne jest przekazanie mu trochę od drugiego agenta, ale szkodzi to użyteczności drugiego agenta.
Czy coś brakuje?