#grahams number #ramsey theory #upper bound #combinatorics #graph theory #mathematical problem #large number solution