P
Initializing...
Pigeonhole bound for triangles: $k$ colours force a monochromatic triangle on $\rho(k)$ vertices · Prove2Me