---

Step * of Lemma arcsine-rless

∀x:{x:ℝ| x ∈ (r(-1), r1)} . (arcsine(x) < π/2)
BY
{ (InstLemma `arcsine-bounds` [] THEN ParallelLast THEN All Reduce THEN Auto) }

---

Latex:

---

Latex:
\mforall{}x:\{x:\mBbbR{}|  x  \mmember{}  (r(-1),  r1)\}  .  (arcsine(x)  <  \mpi{}/2)


By

---

Latex:
(InstLemma  `arcsine-bounds`  []  THEN  ParallelLast  THEN  All  Reduce  THEN  Auto)

---

Home Index