A Lower Bound for Lebesgue's Universal Cover Problem

In the following we show that any convex set that contains a congruent copy of any set of diameter one (universal cover) has area at least 0.832. This considerably improves the lower bound for Lebesgue's universal cover problem, using a combination of computer search and geometric bounds.