theorem Th110: :: SINCOS10:110

for r being Real st - (sqrt 2) < r & r < - 1 holds
( (3 / 4) * PI < arcsec2 r & arcsec2 r < PI )