Inéquation x² <= k