Yes, I think Simon did not mean to say that first two formulas have todo with Pi being approximated - I think Simon presented those two as avery impressive examples of obtaining "near integers" (thus hint toRamanujan via mentioning 163 ;-))