higher bound less tight
bound let ___