Middle European Mathematical Olympiad 2025 Problem I-4

A subset $S$ of the integers is called Saxonian if for every three pairwise different elements $a, b, c \in S$ the number $ab + c$ is the square of an integer. Prove that any Saxonian set is finite. Determine the largest possible number of elements that a Saxonian set can have.