Microcontroller ADC and output impedance
You have done it correctly. 

I think that the optimum would be to use the 10K pot with a 7.5K 5% series resistor on the wiper and a 150uF capacitor (or likely 100uF is okay). That's because the cap will be physically smaller than 1000uF and the time constant will vary much less as the pot is turned.