Low minor faces in 3-polytopes

The purpose of this paper is to prove that every 3-polytope without faces of types (4,4,∞) and(3,3,3,∞) has a minor face of height at most 30, which bound is tight due to the Horňák-Jendrol' construction.