Did you know that the Hadwiger conjecture implies that the surface of any three-dimensional convex body can be illuminated by only eight light sources, but the best proven bound is that 16 lights are sufficient?