Hashin-Shtrikmann bound