import FormalConjectures.ErdosProblems.«495»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos495.erdos_495" := by
  sorry

end Bounty