import FormalConjectures.ErdosProblems.«241»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos241.erdos_241.variants.generalization" := by
  sorry

end Bounty