Prove that the number of iterations performed by Protocol Filter until there are no more than n elements left under consideration is at most 2.41 log(N/n).