theorem Th81: :: SINCOS10:81

arcsec1 | [.1,(sqrt 2).] is increasing