Better lower bound