theorem Th88: :: SINCOS10:88

for x being set st x in [.1,(sqrt 2).] holds
arccosec2 . x in [.(PI / 4),(PI / 2).]