import FormalConjectures.ErdosProblems.«930»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos930.erdos_930" := by
  sorry

end Bounty