2 problems

KAM existence conjecture. There exist three explicit functions $a,b_d,b_a:\mathbb R^+\to\mathbb R^+$ such that

A posteriori KAM existence conjecture. There exist three explicit functions $a,b_d,b_a:\mathbb R^+\to\mathbb R^+$ such that