The Sudakov form factor at four loops in maximal super Yang-Mills theory