theorem Th18: :: SINCOS10:18

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