Tight bounds on quantum searching