The inequality remained unproved until 2014, when Thomas Royen, a German statistician, proved it using relatively elementary tools.
Sætningen blev ikke bevist før 2014, hvor den tyske statistiker Thomas Royen beviste den med temmelig simple værktøjer.