帮我写个树莓派Python代码，持续检测GPIO4引脚是否有低电平输入。如果GPIO4没有低电平输入。让GPIO17停止输出高电平并显示：关灯，反之显示：开灯。

在树莓派上，你可以使用`RPi.GPIO`库来控制GPIO引脚。以下是一个简单的Python脚本，它会持续监测GPIO4的状态，并根据状态改变GPIO17的行为：

import RPi.GPIO as GPIO
import time

# 设置GPIO模式为BCM
GPIO.setmode(GPIO.BCM)

# 定义GPIO引脚
GPIO_PIN_4 = 4
GPIO_PIN_17 = 17

# 设置GPIO4为输入，GPIO17为输出
GPIO.setup(GPIO_PIN_4, GPIO.IN)
GPIO.setup(GPIO_PIN_17, GPIO.OUT)

try:
    while True:
        # 检测GPIO4的输入状态
        if not GPIO.input(GPIO_PIN_4):  # 如果GPIO4有低电平
            GPIO.output(GPIO_PIN_17, GPIO.LOW)  # 关闭GPIO17的高电平输出
            print("关灯")
        else:
            GPIO.output(GPIO_PIN_17, GPIO.HIGH)  # 否则保持GPIO17为高电平
            print("开灯")

        # 等待一段时间再检查一次（这里假设每秒检查一次，可根据需要调整）
        time.sleep(1)

except KeyboardInterrupt:
    # 键盘中断（Ctrl+C）时，清理GPIO资源
    GPIO.cleanup()

保存这个脚本到树莓派上，例如`light_control.py`，然后通过终端运行：

sudo python3 light_control.py

注意要在执行前确保已经安装了`RPi.GPIO`库，如果没有可以使用以下命令安装：

sudo apt-get install python3-rpi.gpio