Reading 4V max on 3.3V ADC Arduino

If an Arduino had an internal PULL_DOWN resistor, you would only need one external resistor to your 4volt source.
But the Arduino only has internal PULL_UP resistors. Can't use that in a voltage divider, unless you want to read negative voltages.
So you need TWO external resistors with a 7:33 ratio, e.g. 10k/47k
Leo..