Long arithmetic progressions in critical sets

Given a density 0 < σ ⩽ 1 , we show for all sufficiently large primes p that if S ⊆ Z / p Z has the least number of three-term arithmetic progressions among all sets with at least σ p elements, then S contains an arithmetic progression of length at least log 1 / 4 + o ( 1 ) p .