ここで、π に収斂する任意の有理数列{"r""n"}"n" を取れば、lim"n" "f"("r""n")＝ π だが "f"(π)＝0となる。