Updated the lower bound proof - send to SPR