theorem LmSin1: :: FUZZY_5:2

for x being Real holds |.(sin x).| <= |.x.|