I want to use the TL431 as a 2.5 volt reference connected to a A2D input. VCC is 3.3V. How do I size the R2 resistor from this example circuit? Is it (VCC-2.5)/Required current? Where required current can probably be 1mA as its going into a A2D input?
Thanks

what do you mean ? The input current of the ADC is 1mA ?
TL431 minimum current is usually 1mA. So you can use a resistor of (3.3 - 2.5) / (1+1) ≈ 390 Ω or less.
In any case there are better (more stable and accurate) yet still cheap voltage references than TL431.