Triangle-pentagon planar edge bound

Let a connected bridgeless planar graph have $n\ge 4$ vertices, $e$ edges, no four-cycle, and $t$ triangular faces. If no edge borders two triangular faces, thenso $f\le 8e/15$. The Euler formula for a connected planar graph then gives

The icosidodecahedral graph is the skeleton of the icosidodecahedron. It has 30 vertices, 60 edges, 20 triangular faces, and 12 pentagonal faces. Every edge separates a triangle from a pentagon, so it attains equality in the triangle-pentagon planar edge bound.