Pi approximation by Wallis product