keyword

inquality on Sin