User blog comment:Denis Maksudov/M-notation (M-function)/@comment-11227630-20160611023101/@comment-28606698-20160611230359

ω↑↑↑ω= ζ 0 [|proof here]