Find all positive integer pairs such that there exists positive integer holds for all integer (Note that gcd(x, y) denotes the greatest common divisor of integers x and y.)
Proposed by Valentio Iverson, Indonesia