Let $f:\mathbb{N} \rightarrow \mathbb{N} \setminus \left \{ 1 \right \}$ be a function which satisfies both the inequality $f(a+f(a)) \leq 2a+3$ and the equation $$f(f(a)+b) = f(a+f(b)),$$for any two $a,b \in \mathbb{N}$. Let $g:\mathbb{N} \rightarrow \mathbb{N}$ be defined with: $g(a)$ is the largest prime divisor of $f(a)$. Prove that there exist integers $a>b>2024$ such that $b|a$ and $g(a) = g(b)$.