higher bound less tight