a function f is defined on the positive integers. it is given that f is non-decreasing, that f(2) = 2, and that f(mn) = f(m)f(n) for m and n relatively prime. prove that f(4) f(13) >= [f(7)]^2
+12 
