import FormalConjectures.ErdosProblems.«269»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos269.erdos_269.variants.irrational" := by
  sorry

end Bounty