Catalan's constant is the alternating sum of the inverses of odd squares. This market will resolve YES if it is ever proven to be irrational and NO if it is proven to be rational.
Related:
Is the riemann hypothesis solvable?
1,000 to start trading!