theorem TCL001: :: ASYMPT_3:1

for r being Real holds r < |.r.| + 1