User blog comment:Googleaarex/Symbol Function/@comment-5150073-20140924054218

We can express X^^^X using 5 symbols, so s_X(5) >= X^^^X.