Wallis product — infinite product for pi