> n階対角化functionalとHardy関数の順序数の増加との対応関係
>>387-388 ではだめですか?