from machine import ADC,PWM,Pin
from time import sleep

servo = PWM(Pin(1))
potentiometer = ADC(Pin(28))
servo.freq(50)

in_min = 0
in_max = 65535
out_min = 1000
out_max = 9000

while True
    value = potentiometer.read_u16()
    Servo_var = (value - in_max)*(out_max - out_min)/(in_max - in_min) + out_min
    servo.duty_u16(int(Servo_var))