Da der ADC nur 10 Bit hat ist der größte Wert den er haben kann 1023.
Wenn Du die interne Refernz nimmst kannst Du keine Spannungen messen die größer als die Refernz sind. Also kannst Du deine 4V nicht direkt mesen da brauchst Du noch nen Spannungsteiler.