Add proof that cosx - sinx is between (-1.5, 1.5)