<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">
   $$
      \lim_{x\to0}\frac{\tan x}x =
      \lim_{x\to0}\frac{\sin x}{x \cos x} =
      \lim_{x\to0}\frac{\sin x}x \cdot
      \lim_{x\to0}\frac1{\cos x} = 1.
   $$</pre></body></html>