lower convex envelope