User blog comment:Alejandro Magno/Googol Array Notation/@comment-24509095-20141006132345/@comment-1605058-20141006140514

Wait a second, if that's true, then, as <3,3,<3,3,2>> is at least 3, we have <3,3,3> be at least <3,3,<3,3,<3,3,2>>>, so this evaluation never terminates.