for r being Real holds sin r <= 1