This gives a lower bound on quantum query complexity. For example, applying the method to the search problem immediately reproduces the famous result: queries are required. This matches Grover’s ...