[nine_k]

For practical reasons, it's enough to prove that it takes longer than some upper bound, say, 10 ms. The rest is not important.