お題
>>514に関連して、F(F(80))の桁数を求めよ。

計算式は簡単だが…