Easy, handy fact I learned only recently. Take any distribution of buyer types F that admits a differentiable density on its support. Then F has nondecreasing virtual value if and only if 1/(1-F) is convex.