Notes
This assumes an unloaded divider (no current drawn from the Vout node). If you're feeding an ADC input or similar high-impedance load, that's usually a safe assumption. If you're driving something with meaningful current draw, the real output voltage will sag below this ideal value.