user=> (<= 1 2) true user=> (<= 2 2) true user=> (<= 3 2) false user=> (<= 2 3 4 5 6) true
user=> (<= 1 2) true user=> (<= 2 2) true user=> (<= 3 2) false user=> (<= 2 3 4 5 6) true
user=> (<= 1 2) true user=> (<= 2 2) true user=> (<= 3 2) false user=> (<= 2 3 4 5 6) true