Use the interior-domain definition of total variation seminorm on a domain, so there is no boundary-extension term at . For any admissible scalar test function ,
Thus .
Choose . From the supplied smooth bump function, define
The two supports are disjoint and inside . Each bump has maximum , so , while and . This attains the upper bound, proving
Equivalently, its distributional derivative is , with total variation two. This is total variation of an interval indicator.