The Hörmander-Bernhardsson extremal function