KAM, Standard Map, Bryuno Function, Trees, Optimal Estimates