User blog comment:Wythagoras/All my stuff/@comment-5150073-20130708155210/@comment-10429372-20130708162438

I know, but I think I can define Y(n) formally, and s(n) not.