higher bound less tight
in versions ___