Continuity of a piecewise-defined function