черт его знает, у меня индуктивно зашло
только вот думал, мол, имеют ли какую-нибудь применимость дальнейшие итерации - a^a^a^a.. b раз и так далее

да, про тетрацию и гипероператоры (и их бесполезность) я узнал только пятнадцатью с лишним годами позже.