$pushdown$ 更新子树值的时候，记得是 $son.len \times lan[father]$，不要写成 $son.len$，父亲的懒标记可能大于 $1$！！！