https://www.glc.us.es/~jalonso/calculemus/25-nov-22/
∃ x ∈ ℝ, 2 < x < 3