theorem Th112: :: SINCOS10:112

for r being Real st 1 < r & r < sqrt 2 holds
( PI / 4 < arccosec2 r & arccosec2 r < PI / 2 )