Threshold functions and second moment method, part 1

From Svante Linusson