There are many papers in the literature that discuss the asymptotic fixed point theory, in which the existence of the fixed points is deduced from the assumption on the iterates of an operator (e.g., [1, 6] and the references therein). Recently, Kirk [5] studied an asymptotic fixed point theorem concerning nonlinear contractions. He proved the following theorem [5, Theorem 2.1] by appealing to ultrafilter methods.