Top cohomology boundedness for nef twists (source code)

= Top cohomology boundedness for nef twists
{title2=$h^d(X,\mathcal F(mN))=O(1)$}

The top-degree case of <cohomology growth for nef twists> is bounded independently of $m$. It fills a gap when a dimension induction hypothesis only covers intermediate <sheaf cohomology> degrees.