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 ≤ π