  We first introduce the generic versions of the fraction rules for
monotonicity, i.e. the one that involves integrals known as the Gromov theorem
and the other that involves derivatives known as L'H\^opital rule for
monotonicity, which we then extend to high order antiderivatives and
derivatives, respectively.
