higher bound less tight
ends here under ___