Using Yao's principle to find a lower bound