theorem Th106: :: SINCOS10:106

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