lower bound 2