Prove that $\cosh (1 / 2)$ is irrational.