Database
BASIC REAL AND COMPLEX FUNCTIONS
Basic trigonometry
Properties of pi = 3.14159...
pige3
Next ⟩
pige3ALT
Metamath Proof Explorer
Ascii
Structured
Theorem
pige3
Description:
_pi
is greater than or equal to 3.
(Contributed by
Mario Carneiro
, 21-May-2016)
Ref
Expression
Assertion
pige3
⊢
3 ≤ π
Proof
Step
Hyp
Ref
Expression
1
3re
⊢
3 ∈ ℝ
2
pire
⊢
π ∈ ℝ
3
pigt3
⊢
3 < π
4
1
2
3
ltleii
⊢
3 ≤ π