This kills Maxima with a stack overflow:
assume(x>2)$ sign(%e^x - %e^2);
Found by Claude.
Log in to post a comment.