The sum-product phenomenon for dense subsets of finite fields

Let $\mathbb{F}_p$ be a finite field of prime order $p$ and let $A \subset \mathbb{F}_p$ be a subset. In the dense regime when $|A| \geq αp$ for some $α\in (0,1)$, we determine the optimal constant $f(α)$ in the inequality $$ \max(|A+A|, |A\cdot A|) \geq (f(α) - o(1))p. $$ The proof relies on a stru