Fractional-to-integral transversal bound for fat convex sets
Fractional transversal conjecture. There is a function fff such that
MathDB