WELL I DID!!! (Except not Gamma 0, only phi(omega,0))
HOLY CRAP! YOU ACTUALLY DID IT! ![]()
For anyone still here, I finally managed to make BMS in Snap*!*, which is basically a notation whose limit is so extreme that basically only a few notations can reach it. lim(BMS) = PTO(Z2).
Like this?
\lim_{x \to 0} \frac{\ln \left( 1 + x \right)}{2 x}
$$\lim_{x \to 0} \frac{\ln \left( 1 + x \right)}{2 x}$$
Off-topic
L=\lim_{x\to0}\frac{\ln\left(1+x\right)}{2x}=\frac{1}{2}\lim_{t\to0}\frac{t}{e^t-1}
For some reason, t\leq e^t-1\leq -\frac{1}{t-1}-1 for all t.
Then by the limit theorem, -\frac{t-1}{t}\leq\frac{1}{e^t-1}\leq\frac{1}{t}\implies 1-t\leq\frac{t}{e^t-1}\leq 1
Therefore, \lim_{x\to 0} \frac{t}{e^t-1}=1
\boxed{\lim_{x\to0}\frac{\ln(1+x)}{2x}=\frac{1}{2}\quad④}