First-order plants are globally asymptotically stable under antithetic feedback

We show that first-order linear plants are globally asymptotically stable under antithetic feedback. This is shown by constructing an explicit smooth, convex Lyapunov function and by appealing to a Krasovskii-LaSalle invariance principle.