Flesh out asymptotics for exercise 7.45