lower bound techniques