the critical random graph, with martingales