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