The Marksmith AU

The case split you missed

You look for one argument covering everything.

Some expressions change behaviour at a point. The signals: an absolute value, a square root, a denominator that can change sign. Then the proof has two halves.

Next time: Ask where the behaviour changes; write both halves.

Try it: Work one on a block