theorem :: COMPTRIG:23

sin | [.(- (PI / 2)),(PI / 2).] is increasing