Why are the lines curved? Surely the lim sup would decrease as soon as the sequence passes over the first peak, rather than acting as a curve? I'm not sure if I'm just being pedantic but I think the graph should reflect the actual behaviour.
