Well ... I'm afraid you cannot get the full 0-5v output using just the voltage divider. You can get only the half of it.. like 0-2.5v (using the same 4k as Rb). You should be using at least 10 volt power source to get full 0-5v ADC resolution ( 0.336V to 5V using the 4k Rb). Or 2.8k for the best resolution if you are using 12v power source ( 0.285v to 4.941). Please correct me if I'm wrong.