[STATEMENT]
lemma numer_cf5_pos: "-7.293 \<le> x \<Longrightarrow> numer_cf5 x > 0"
[PROOF STATE]
proof (prove)
goal (1 subgoal):
 1. - (7293 / 10 ^ 3) \<le> x \<Longrightarrow> 0 < numer_cf5 x
[PROOF STEP]
unfolding numer_cf5_def
[PROOF STATE]
proof (prove)
goal (1 subgoal):
 1. - (7293 / 10 ^ 3) \<le> x \<Longrightarrow> 0 < x ^ 5 + 30 * x ^ 4 + 420 * x ^ 3 + 3360 * x\<^sup>2 + 15120 * x + 30240
[PROOF STEP]
by sturm