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

namespace Bounty

theorem target : fcTypeOfName% "Erdos102.erdos_102" := by
  sorry

end Bounty