theorem Th17: :: SINCOS10:17

sec | [.0,(PI / 2).[ is increasing