$Pi は何年経っても上がらなかったけど、これが上がるか見てみよう