1.I.2FTopics in Analysis | Part II, 2005Prove that cosh(1/2)\cosh (1 / 2)cosh(1/2) is irrational.Typos? Please submit corrections to this page on GitHub.