theorem :: SIN_COS6:38

for r being Real
for i being Integer st (2 * PI) * i <= r & r < ((3 / 2) * PI) + ((2 * PI) * i) holds
sin r > - 1