¹⁶Carroll and Kimball (1996) proved concavity but not the other desired properties.