The Irrationality of ζ(3).

Published in: Arch. Formal Proofs (2019)