lower bound, hardness