Пример кода на Python:

def check_digit(n, digit):
while n > 0:
if n % 10 == digit:
return True
n //= 10
return False
n = int(input("Введите натуральное число: "))
digit = int(input("Введите цифру для проверки: "))
if check_digit(n, digit):
print(f"Цифра {digit} входит в число {n}")
else:
print(f"Цифра {digit} не входит в число {n}")

Этот код позволяет определить, входит ли заданная цифра в запись натурального числа с помощью цикла с переменной. Пользователь вводит число и цифру для проверки, после чего программа выводит соответствующее сообщение.