https://123dok.net/document/yr3690dj-rigorous-numerical-stability-estimates-existence-kam-forced-pendulum.html