We define on the set N_1 = {1, 2, 3, ...} of positive integers a relation approximately such that two positive integers x and y satisfy x approximately y if and only if x/y = 2^k for some integer k. Show that approximately is an equivalence relation