Hirsch bound conjecture for the circuit diameter of polyhedra
Circuit diameter bound. For any nnn-dimensional polyhedron with fff facets, the circuit diameter is bounded above by