Bounding Ramsey numbers Ramsey number lower bound theorem Turan numbers Turan theorem theorem An alternative proof of this theorem uses probabilistic method and was devised by Alon Spencer Counting labeled trees Cayley’s formula theorem