Theorem 2le3

Description: 2 is less than or equal to 3. (Contributed by Umit Teoman Dogan, 10-Jun-2026)

	Ref	Expression
Assertion	2le3	⊢ 2 ≤ 3

Proof

Step	Hyp	Ref	Expression
1		2re	⊢ 2 ∈ ℝ
2		3re	⊢ 3 ∈ ℝ
3		2lt3	⊢ 2 < 3
4	1 2 3	ltleii	⊢ 2 ≤ 3