@laeva 感谢投稿，$h[i]\geq h[i-1]-1$处证明不充分。