Natural_numbers_with_inequality.elf