Prove that `cosh x >= 1`, by approximating it from below. allow_comp
end_of_answer
or
This file was generated 2018-09-22 16:05:47 UTC.