Theorem: Real.exp_one_lt_3 (Ray/Misc/Bounds.lean)

State before:
⊢ 2.7182818286 < 3
Tactic:
norm_num
State after:
no goals