theorem Th41: :: SINCOS10:41

rng (sec | [.0,(PI / 4).]) = [.1,(sqrt 2).]