[STATEMENT]
lemma eint_min_ineq:
  assumes "(b::eint) \<ge> min c d"
  assumes "c > e"
  assumes "d > e"
  shows "b > e"
[PROOF STATE]
proof (prove)
goal (1 subgoal):
 1. e < b
[PROOF STEP]
by (meson assms(1) assms(2) assms(3) less_le_trans min_le_iff_disj)