The Bernstein Sato polynomial: Holonomic modules

We use Bernstein's inequality from the second talk to show that holonomic modules have finite length. We then use this to prove that a particular module is holonomic, which easily implies existence of the Bernstein polynomial.