n of pro-inf