Theorem pige0

Description: _pi is nonnegative. (Contributed by Umit Teoman Dogan, 10-Jun-2026)

	Ref	Expression
Assertion	pige0	$$⊢0\le \mathrm{\pi }$$

Proof

Step	Hyp	Ref	Expression
1		0re	$$⊢0\in ℝ$$
2		pire	$$⊢\mathrm{\pi }\in ℝ$$
3		pipos	$$⊢0<\mathrm{\pi }$$
4	1 2 3	ltleii	$$⊢0\le \mathrm{\pi }$$