Theorem halfge0

Description: One-half is not negative. (Contributed by AV, 7-Jun-2020)

	Ref	Expression
Assertion	halfge0	$$⊢0\le \frac{1}{2}$$

Proof

Step	Hyp	Ref	Expression
1		0re	$$⊢0\in ℝ$$
2		halfre	$$⊢\frac{1}{2}\in ℝ$$
3		halfgt0	$$⊢0<\frac{1}{2}$$
4	1 2 3	ltleii	$$⊢0\le \frac{1}{2}$$