``` python
import RPi.GPIO as GPIO
import time
# Set the GPIO mode to BCM numbering
GPIO.setmode(GPIO.BCM)
# Define the pin number
PIN = 4
# Set up the GPIO pin as an input
GPIO.setup(PIN, GPIO.IN)
try:
while True:
# Read the state of the pin
pin_state = GPIO.input(PIN)
if pin_state:
print("Pin 4 is HIGH")
else:
print("Pin 4 is LOW")
# Wait for a second before reading again
time.sleep(1)
except KeyboardInterrupt:
print("Program terminated by user")
finally:
# Clean up the GPIO settings
GPIO.cleanup()
```