tan^(-1)xのx=0での展開を求め、これを用いて「円周率が3.1より大きいこと」を説明してください。