https://9dok.org/document/zpnvrxe7-markov-s-inequality-and-o-minimal-structures.html