import Mathlib
import FormalConjectures.ErdosProblems.«21»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos21.erdos_21.variants.three_n" := by
  sorry

end Bounty