import FormalConjectures.ErdosProblems.«409»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos409.erdos_409.variants.sigma_termination" := by
  sorry

end Bounty