**Krok \(1\).** Polecenie, aby wyznaczyć wszystkie wyrazy większe od \(\frac12\), oznacza: rozwiąż nierówność \(a_n\gt\frac12\), ale nie w zbiorze liczb rzeczywistych, tylko dla \(n=1,2,3,\ldots\). Na końcu trzeba podać same wyrazy, a nie ich numery.
**Krok \(2\).** Zapisujemy nierówność, wstawiając wzór ciągu:
\[\frac{n+2}{3n+1}\gt\frac12.\]
**Krok \(3\).** Zanim pomnożymy obie strony przez mianownik, sprawdzamy jego znak. Dla \(n\geqslant1\) mamy \(3n+1\geqslant4\gt0\), więc mnożenie przez \(2(3n+1)\) nie zmienia zwrotu nierówności.
**Krok \(4\).** Mnożymy i porządkujemy:
\[2(n+2)\gt 3n+1,\qquad 2n+4\gt 3n+1,\qquad 3\gt n.\]
**Krok \(5\).** Otrzymaliśmy warunek \(n\lt3\). Ponieważ \(n\) jest liczbą naturalną dodatnią, pozostają tylko \(n=1\) oraz \(n=2\).
**Krok \(6\).** Obliczamy te wyrazy ze wzoru ciągu:
\[a_1=\frac{1+2}{3\cdot1+1}=\frac34,\qquad a_2=\frac{2+2}{3\cdot2+1}=\frac47.\]
**Krok \(7\).** Kontrola: \(a_3=\frac{5}{10}=\frac12\), a więc trzeci wyraz już nie jest większy od \(\frac12\) — to potwierdza, że granicę wyznaczyliśmy dobrze.
**Uwaga.** Nierówność jest ostra, dlatego \(n=3\) odpada mimo równości \(a_3=\frac12\). Odpowiedzią są liczby \(\frac34\) i \(\frac47\), a nie numery \(1\) i \(2\).
**Odpowiedź.** Warunek spełniają dwa wyrazy: \(a_1=\dfrac34\) oraz \(a_2=\dfrac47\).