https://9dok.net/document/zgwk4xvn-radon-numbers-grow-linearly.html