autofinding the lower bound on chromatic number