higher bound less tight
bound falls as ___