theorem Th78: :: SINCOS10:78

arcsec2 | (sec .: ].(PI / 2),PI.]) is increasing