less_numeric_rationals
======================

.. currentmodule:: proveit.numbers

.. autofunction:: less_numeric_rationals