https://9lib.co/document/zgw69xxn-suppose-that-s-is-bounded-above.html