[math-fun] model of wallis's integrals...