On the number of 4-contractible edges in 4-connected graphs

Abstract

We prove that every finite 4-connected graph G has at least $\frac{1}{34}\cdot (|E(G)|-2|V(G)|)$ many contractible edges.