ramsey_theory_upper_bound