Lyapunov functions in justification theorems for asymptotics