Michael Krivelevich Bounding Ramsey Numbers through Large Deviation Inequalities. 145-156 1995 7 Random Struct. Algorithms 2 db/journals/rsa/rsa7.html#Krivelevich95 http://dx.doi.org/10.1002/rsa.3240070204