is a kind of optimal subsidy problem. If the separating equilibrium, when it exists, does not solve this problem, it is inefficient. Figure V shows that the separating equilibrium can be inefficient in this sense. We now show that if there are enough high-risk people, then the separating equilibrium can be efficient.