import FormalConjectures.ErdosProblems.«208»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos208.erdos_208.variants.log_bound" := by
  sorry

end Bounty