le(X, Y). - Проверяет, верно ли неравенство X<=Y