Standard map, critical function, KAM theory, Greene's method, Bryuno function