A note on the random greedy independent set algorithm1. Issue 3 (3rd August 2016)