Data structure lower bound