Define a function on the set of non-negative integers as follows. Let , and let if n > 1 and n is divisible by the square of an integer a > 1. Otherwise, if , where the are all distinct primes, then let . Use induction to prove that for all positive integers n > 1,