Hardy space
と書くことができる。 が において正則で、 のとき、前述の不等式は に対して適用することが出来る。以上の事実より、古典的ハーディ空間 内の任意の函数 は次を満たすと結論づけられる。