(Hn⁡(x))2≥Hn-1⁡(x)⁢Hn+1⁡(x),