User blog comment:SuperSpruce/Question about certain fundamental sequences/@comment-32213734-20190422053122/@comment-35470197-20190422220411

See my comment below. It does not make sense unless you specify what ψ is. There are many OCFs denoted by ψ.