A generalization of the b-function lemma

We establish some cohomological bounds in $D$ -module theory that are known in the holonomic case and folklore in general. The method rests on a generalization of the $b$ -function lemma for non-holonomic $D$ -modules.