>>121
Define d(x, y) def= |x−y| for any x, y ∈ N. Then (N, d) is a complete metric space. In the section 3, for this fixed point theorem, we apply to the Collatz conjecture.