A vertex coloring of a graph G corresponds to a partition of its vertex set into independent subsets. Hence the minimal number of colors needed in a vertex coloring, the chromatic number χ(G), is at least the quotient of the number of vertices in G and the independent number α(G).