https://9lib.org/document/qo5o7gr5-connections-between-recent-olech-type-lemmas-visintin-theorem.html