MathDB
g(G)^3 <= c * f(G)^4

Source: IMO ShortList 2004, combinatorics problem 8

June 15, 2005
inequalitiesgraph theoryExtremal combinatoricsIMO Shortlist

Problem Statement

For a finite graph GG, let f(G)f(G) be the number of triangles and g(G)g(G) the number of tetrahedra formed by edges of GG. Find the least constant cc such that g(G)3cf(G)4g(G)^3\le c\cdot f(G)^4 for every graph GG.
Proposed by Marcin Kuczma, Poland