$\lim_{x\to\infty}\operatorname{Si}\left(x\right)=\tfrac{1}{2}\pi,$