Ramsey number


Ramsey number is a integer.