  We survey recent results on bounds for Betti numbers of modules over
polynomial rings, with an emphasis on lower bounds. Along the way, we give a
gentle introduction to free resolutions and Betti numbers, and discuss some of
the reasons why one would study these.
