keyword

inequality on Sin