ChatGPT - Supremum of sin(x)/x