The optimal bound for effective building of singularities
Let (X,B)(X,B)(X,B) be a log variety, let x∈X∖LCS(X,B)x\in X\setminus LCS(X,B)x∈X∖LCS(X,B) be a closed point, and let H∈Div(X)⊗QH\in\operatorname{Div}(X)\otimes\mathbb{Q}H∈Div(X)⊗Q be ample and normalized at xxx. Effective-build…