{\[u2147] sup {\[u2148] pi} + 1} = 0