Exponential lower bound.