Укажем способ выбора , при котором выполняется неравенство . Положим равным , где — ближайшее целое, не превосходящее дроби . Трудоемкость вычисления значащих разрядов имеет порядок . Далее, . Подставим вместо выражение , где , получим . Поскольку в модуле стоит разность одинаковых по знаку чисел, то не превосходит наибольшего из них. Так как и , то .
, при котором выполняется неравенство 
. Положим 
, где 
— ближайшее целое, не превосходящее дроби 
. Трудоемкость вычисления значащих разрядов 
. Далее, 
. Подставим вместо 
, где 
, получим 
. Поскольку в модуле стоит разность одинаковых по знаку чисел, то 
не превосходит наибольшего из них. Так как 
и 
, то 
.