theorem Th49: :: SIN_COS9:49

for x being set st x in [.(- 1),1.] holds
arctan . x in [.(- (PI / 4)),(PI / 4).]