Bob Atkins , Jan 06, 2003; 02:11 p.m.
There is no formula. Every lens is different. It's also likely to be different for long wavelength IR (850nm, Kodak HIE) and short wavelength IR (750nm, Konica 750).
The best thing to do is run some focus tests using YOUR lens and YOUR film with YOUR filter.