Self-complementary graph implies chromatic number is at least equal to square root of size of vertex set
Statement
Suppose is a finite undirected graph on vertices. Suppose further that is a self-complementary graph. Then, the chromatic number of is at least .