<math> <apply><forall/> <bvar><ci>n</ci></bvar> <condition><apply><in/><ci>n</ci><reals/></apply></condition> <apply><lt/><ci>n</ci><infinity/></apply> </apply> </math>