import FormalConjectures.ErdosProblems.«385»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos385.erdos_385.parts.i" := by
  sorry

end Bounty