higher bound less tight

constraint able ts it✕