X is at least as large as 4

Back
Top