lower convex envelopes