import FormalConjectures.ErdosProblems.«886»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos886.erdos_886" := by
  sorry

end Bounty