import FormalConjectures.Wikipedia.Oppermann
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Oppermann.oppermann_conjecture" := by
  sorry

end Bounty