https://9dok.net/document/yngmx9p1-computational-complexity-of-real-functions-and-real-numbers.html