Proving $\limsup\frac 1 {a_n}=\frac 1 {\liminf a_n}$ and $\limsup a_n\cdot \limsup \frac 1 {a_n} \ge 1$

1. This is easy. Assume that $m>0$ is an eventual lower bound for $a_n$ (i.e. $a_n \geq m$ for $n \gg 1$). Then $1/a_n \leq 1/m$, so that $\limsup_{n \to +\infty} \frac{1}{a_n} \leq \frac{1}{m}$. By definition of $\liminf$, this means that $\limsup_{n \to +\infty} \frac{1}{a_n} \leq \liminf_{n \to +\infty} a_n$. Now take an eventual upper bound $M$ for $1/a_n$, and deduce similarly that $\liminf_{n \to +\infty} a_n \leq \limsup_{n \to +\infty} \frac{1}{a_n}$.
2. This is proved here.

By your assumption, all the quantities are actually positive.

I think the following lemmas are particularly useful (In fact, some take these as the definitions of limsup's and liminf's).

1) $\limsup a_n \le a$ if and only if for every $\epsilon>0$, $a_n\le a+\epsilon$ for all but a finite number of $a_n$'s.

2) $\limsup a_n \ge a$ if and only if for every $\epsilon>0$, $a_n\ge a-\epsilon$ for infinitely many $a_n$'s.

Similar statements hold for the liminf.

Assuming $$\limsup \frac{1}{a_n}=a$$ we wish to show that $$\liminf a_n=\frac{1}{a}.$$ Let $\epsilon>0$ and choose $\delta>0$ so that $\frac{1}{a+\delta}=\frac{1}{a}+\epsilon$. Then by (1), $\frac{1}{a_n}\le a+\delta$ for all but a finite number of $a_n$'s, hence, $a_n\ge \frac{1}{a+\delta}=\frac{1}{a}+\epsilon$ for all but a finite number of $a_n$'s. Likewise by (2), $\frac{1}{a_n}\ge a+\delta$ for infinitely many $a_n$'s, hence, $a_n\le \frac{1}{a+\delta}=\frac{1}{a}+\epsilon$ for infinitely many $a_n$'s. We have just shown that, $$\liminf a_n = \frac{1}{a}.$$ This is what we wanted to show.

Similar arguments hold for the other cases.

To get the first one, you just need to notice that $$\sup\{1/{a_k}; k\ge n\} = \frac1{\inf\{a_k; k\ge n\}}$$ and take limit for $n\to\infty$ to get $$\lim_{n\to\infty}\sup\{1/a_k; k\ge n\} = \lim_{n\to\infty}\frac1{\inf\{a_k; k\ge n\}} = \frac1{\lim_{n\to\infty}\inf\{a_k; k\ge n\}}.$$ (Although you should also check the cases when the LHS is $+\infty$ and when you have zero in the denominator.)

Once you have shown the first part, you get $$\limsup_{n\to\infty} \frac1{a_n} = \frac1{\liminf_{n\to\infty} a_n} \ge \frac1{\limsup_{n\to\infty} a_n}.$$ Then you can simply multiply this by $\limsup\limits_{n\to\infty} a_n$.

Again, you should check separately the cases where some of the above values is $+\infty$ or when you divide by zero.