A structure theorem for sets with doubling $4+\delta$

We prove a structural result for sets of integers with doubling at most $4+\delta$, with $\delta >0$ sufficiently small. This generalises earlier work of Eberhard–Green–Manners which dealt with sets of integers with doubling strictly less than $4$, and makes progress towards a question of Green.