---

Step * of Lemma rsin-positive-near-11/7

∀x:{x:ℝ| x ∈ ((r(41)/r(70)), (r(179)/r(70)))} . (r0 < rsin(x))
BY
{ Auto }

1
1. x : {x:ℝ| x ∈ ((r(41)/r(70)), (r(179)/r(70)))} 
⊢ r0 < rsin(x)

---

Latex:

---

Latex:
\mforall{}x:\{x:\mBbbR{}|  x  \mmember{}  ((r(41)/r(70)),  (r(179)/r(70)))\}  .  (r0  <  rsin(x))


By

---

Latex:
Auto

---

Home Index