https://mod.fau.eu/events/fau-mod-lecture-free-boundary-regularity-for-the-obstacle-problem/