I decided to write down this nice exercise since it is the kind of exercise which is readily solved with the right tools (i.e. l.e.s. of a fibration), but can become non-trivial if one doesn’t know them.

In particular, I want to prove that the Eilenberg MacLance space , for a *discrete *group is a model for the classifying space .