theorem Th84: :: SINCOS10:84

arccosec2 | [.1,(sqrt 2).] is decreasing