[math-fun] Search the digits of pi