跳表（Skip List）的最坏空间复杂度O(n log n)结论是否有误？

维基百科中指出跳表的最坏空间复杂度为O(n log n)，但我完全不认同该结论。

以下是我的证明过程：

• 跳表最多存在log(n)层，因此每个新节点最多会被插入log(n)次。若从仅含1个节点的跳表开始构建，总节点数的增长情况如下：
  跳表节点增长示意图
• 完成n次插入后的总节点数求和公式如下：
  节点数求和公式示意图

按上述推导得到的结果远大于O(n log n)，我已证明S(n)=ω(n²)，这与现有公开结论存在矛盾。

内容的提问来源于stack exchange，提问作者rolen