User blog comment:Nayuta Ito/generalization of arrow notation/@comment-10429372-20141025122001/@comment-10429372-20150208135502

Yes, correct. Btw, that should be k => infinity, not 1/k => infinity.