User blog comment:Deedlit11/The slow-growing hierarchy and other hierarchies/@comment-5150073-20130315163450/@comment-80.98.179.160-20180208113708

This also holds for a=\(\varepsilon_0\).