theorem :: FUZZY_8:2

for a, x being Real holds a - |.(a * x).| <= a