A note on cohomological boundedness for $F$-divided sheaves and $\mathcal{D}$-modules

Let $X$ be a smooth proper scheme over an algebraically closed field $k$ in characteristic $p$. In this short note, by interpreting $\mathcal{D}_{X}$-modules as $F$-divided sheaves and establishing a cohomological boundedness property for $F$-divided sheaves, we prove that any $\mathcal{O}_{X}$-coherent $\mathcal{D}_{X}$-module has finite dimensional $\mathcal{D}_{X}$-module cohomology.