On the local structure of the set of values of Euler's φ function

Abstract

Assuming the validity of Dickson's conjecture, we show that the set V of values of the Euler's totient function φ contains arbitrarily large arithmetic progressions with common difference 4. This leads to the question of proving unconditionally that this set V has a positive upper Banach density.