User blog comment:Googleaarex/SGH Functions/@comment-25418284-20130404163840/@comment-5529393-20130405030450

Is \(n \{\{1\}\} n\) approximately the Ackermann function evaluated \(n\) times? If so, it might be correct - earlier, I thought you were using Bowers' array notation and were nesting separators, but perhaps you are using Bowers' extended operators.

But we need a more careful analysis to determine if it is correct or not.