theorem :: SIN_COS2:2

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