from machine import Pin


led = Pin(13, Pin.OUT)

btn = Pin(4, Pin.IN)

while True:
    if btn () == 0:
        led.on()
    else:
        led.off()