import FormalConjectures.ErdosProblems.«142»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos142.erdos_142.variants.lower" := by
  sorry

end Bounty