rt，求问为什么打标记不会漏解：

if(sam.mx[u]>=i&&sam.mx[u]<=r) ans=max(ans,1ll*(sam.mx[u]-i+1)*sam.siz[u]);
while(v!=-1&&!vis[v]&&sam.mx[v]<=r&&sam.len[v]>=sam.mx[v]-i+1)
{
	vis[v]=true;
	if(sam.mx[v]>=i) ans=max(ans,1ll*(sam.mx[v]-i+1)*sam.siz[v]);
	v=sam.link[v];
}

如果不会漏解，那么为什么要特判 $u$ 的情况？