Inéquation x² >= k