abi-khuzam inequality