Аннотация:
The height of an edge in 3-polytopes is the maximum degree of its incident vertices and faces. In 1940, Lebesgue proved that each 3-polytope without pyramidal edges has an edge of height at most 11. This upper bound was lowered to 10 by Avgustinovich and Borodin (1995). The best known lower bound for the height of edges is 7.
We lower upper bound to 9 and give a construction of 3-polytope which has no edges of height smaller than 8.