Finished asymptotics lecture