Prove that `cosh x >= 1`, by approximating it from below. allow_comp
or
This file was generated 2017-08-16 12:27:48 UTC.