Tighter lower bound #231