The sequence $(a_n)$ is defined by $a_1=0$, $$ a_{n+1}={a_1+a_2+\ldots+a_n\over n}+1. $$ Prove that $a_{2016}>{1\over 2}+a_{1000}$.

Let $B_n$ be the set of all sequences of length $n$, consisting of zeros and ones. For every two sequences $a,b \in B_n$ (not necessarily different) we define strings $\varepsilon_0\varepsilon_1\varepsilon_2 \dots \varepsilon_n$ and $\delta_0\delta_1\delta_2 \dots \delta_n$ such that $\varepsilon_0=\delta_0=0$ and $$ \varepsilon_{i+1}=(\delta_i-a_{i+1})(\delta_i-b_{i+1}), \quad \delta_{i+1}=\delta_i+(-1)^{\delta_i}\varepsilon_{i+1} \quad (0 \leq i \leq n-1). $$. Let $w(a,b)=\varepsilon_0+\varepsilon_1+\varepsilon_2+\dots +\varepsilon_n$ . Find $f(n)=\sum\limits_{a,b \in {B_n}} {w(a,b)} $. .

Let $a_1,a_2,a_3,\ldots$ be an infinite sequence of positive integers such that $a_{n+2m}$ divides $a_{n}+a_{n+m}$ for all positive integers $n$ and $m.$ Prove that this sequence is eventually periodic, i.e. there exist positive integers $N$ and $d$ such that $a_n=a_{n+d}$ for all $n>N.$

The sequence of real numbers $a_1, a_2, a_3, ...$ is defined as follows: $a_1 = 2019$, $a_2 = 2020$, $a_3 = 2021$ and for all $n \ge 1$ $$a_{n+3} = 5a^6_{n+2} + 3a^3_{n+1} + a^2_n.$$ Show that this sequence does not contain numbers of the form $m^6$ where $m$ is a positive integer.

(a) Does there exist an infinite sequence of real numbers such that the sum of every ten successive numbers is positive, while for every $n$ the sum of the first $10n + 1$ successive numbers is negative? (b) Does there exist an infinite sequence of integers with the same properties? (AK Tolpygo)

Define a sequence $<x_n>$ by $x_1 = 1, x_2 = x, x_{n+2} = xx_{n+1} + nx_n, n \ge 1$. Consider the polynomial $P_n(x) = x_{n-1}x_{n+1} - x_n^2$, for each $n \ge 2$. Prove or disprove that the coefficients of $P_n(x)$ are all non-negative, except for the constant term when $n$ is odd.

For which real numbers $a$ does the sequence $(u_n )$ defined by the initial condition $u_0 =a$ and the recursion $u_{n+1} =2u_n - n^2$ have $u_n >0$ for all $n \geq 0?$

Let $a_1,a_2,a_3, \ldots$ be an infinite sequence of nonnegative real numbers such that for all positive integers $k$ the following conditions hold: $i)$ $a_k-2a_{k+1}+a_{k+2} \geq 0$; $ii)$ $\sum_{j=1}^{k} a_j \leq 1$. Prove that for all positive integer $k$ holds: $0 \leq a_k - a_{k+1} < \frac{2}{k^2}$

Let $c \ge 2$ be a fixed integer. Let $a_1 = c$ and for all $n \ge 2$ let $a_n = c \cdot \phi (a_{n-1})$. What are the numbers $c$ for which sequence $(a_n)$ will be bounded? $\phi$ denotes Euler’s Phi Function, meaning that $\phi (n)$ gives the number of integers within the set $\{1, 2, . . . , n\}$ that are relative primes to $n$. We call a sequence $(x_n)$ bounded if there exist a constant $D$ such that $|x_n| < D$ for all positive integers $n$.

Given a positive integer $k$ show that there exists a prime $p$ such that one can choose distinct integers $a_1,a_2\cdots, a_{k+3} \in \{1, 2, \cdots ,p-1\}$ such that p divides $a_ia_{i+1}a_{i+2}a_{i+3}-i$ for all $i= 1, 2, \cdots, k$. [i]South Africa [/i]

Let $a_1, a_2,...,a_{2018}$ be a sequence of numbers such that all its elements are elements of a set $\{-1,1\}$. Sum $$S=\sum \limits_{1 \leq i < j \leq 2018} a_i a_j$$ can be negative and can also be positive. Find the minimal value of this sum

Let $n$ be a given positive integer. (a) Do there exist $2n+1$ consecutive positive integers $a_0,a_1,\ldots,a_{2n}$ in the ascending order such that $a_0+a_1+\ldots+a_n=a_{n+1}+\ldots+a_{2n}$? (b) Do there exist consecutive positive integers $a_0,a+1,\ldots,a_{2n}$ in ascending order such that $a_0^2+a_1^2+\ldots+a_n^2=a_{n+1}^2+\ldots+a_{2n}^2$? (c) Do there exist consecutive positive integers $a_0,a_1,\ldots,a_{2n}$ in ascending order such that $a_0^3+a_1^3+\ldots+a_n^3=a_{n+1}^3+\ldots+a_{2n}^3$? [hide=Official Hint]You may study the function $f(x)=(x-n)^3+\ldots+x^3-(x+1)^3-\ldots-(x+n)^3$ and prove that the equation $f(x)=0$ has a unique solution $x_n$ with $3n(n+1)<x_n<3n(n+1)+1$. You may use the identity $1^3+2^3+\ldots+n^3=\frac{n^2(n+1)^2}2$.[/hide]

Consider the sequence in which $a_1 = 1$ and $a_n$ is obtained by juxtaposing the decimal representation of $n$ at the end of the decimal representation of $a_{n-1}$. That is, $a_1 = 1$, $a_2 = 12$, $a_3 = 123$, $\dots$ , $a_9 = 123456789$, $a_{10} = 12345678910$ and so on. Prove that infinitely many numbers of this sequence are multiples of $7$.

Let $c$ be a positive integer. The sequence $\{f_n\}$ is defined as follows: \[f_1 = 1, f_2 = c, f_{n+1} = 2f_n - f_{n-1} + 2 \quad (n \geq 2).\] Show that for each $k \in \mathbb N$ there exists $r \in \mathbb N$ such that $f_kf_{k+1}= f_r.$

$\{a_{n}\}$ is a sequence of natural numbers satisfying the following inequality for all natural number $n$: $$(a_{1}+\cdots+a_{n})\left(\frac{1}{a_{1}}+\cdots+\frac{1}{a_{n}}\right)\le{n^{2}}+2019$$ Prove that $\{a_{n}\}$ is constant.

Let $b_1$, $\dots$ , $b_n$ be nonnegative integers with sum $2$ and $a_0$, $a_1$, $\dots$ , $a_n$ be real numbers such that $a_0=a_n=0$ and $|a_i-a_{i-1}|\leq b_i$ for each $i=1$, $\dots$ , $n$. Prove that $$\sum_{i=1}^n(a_i+a_{i-1})b_i\leq 2$$ [hide]I believe that the original problem was for nonnegative real numbers and it was a typo on the version of the exam paper we had but I'm not sure the inequality would hold[/hide]

Do there exist a positive integer $k$ and a non-constant sequence $a_1, a_2, a_3, ...$ of positive integers such that $a_n = gcd(a_{n+k}, a_{n+k+1})$ for all positive integers $n$?

Does there exist a real sequence $\{a_n\}_{n=1}^\infty$ such that $$a_na_{n+1}\ge a_{n+2}^2 +1$$ for all $n\ge 1$?

Real numbers $ a_{1}$, $ a_{2}$, $ \ldots$, $ a_{n}$ are given. For each $ i$, $ (1 \leq i \leq n )$, define \[ d_{i} \equal{} \max \{ a_{j}\mid 1 \leq j \leq i \} \minus{} \min \{ a_{j}\mid i \leq j \leq n \} \] and let $ d \equal{} \max \{d_{i}\mid 1 \leq i \leq n \}$. (a) Prove that, for any real numbers $ x_{1}\leq x_{2}\leq \cdots \leq x_{n}$, \[ \max \{ |x_{i} \minus{} a_{i}| \mid 1 \leq i \leq n \}\geq \frac {d}{2}. \quad \quad (*) \] (b) Show that there are real numbers $ x_{1}\leq x_{2}\leq \cdots \leq x_{n}$ such that the equality holds in (*). [i]Author: Michael Albert, New Zealand[/i]

Given a finite sequence of zeros and ones, which has two properties: a) if in some arbitrary place in the sequence we select five digits in a row and also select five digits in any other place in a row, then these fives will be different (they may overlap); b) if you add any digit to the right of the sequence, then property (a) will no longer hold true. Prove that the first four digits of our sequence coincide with the last four

Let $a_0,a_1,a_2,\dots $ be a sequence of real numbers such that $a_0=0, a_1=1,$ and for every $n\geq 2$ there exists $1 \leq k \leq n$ satisfying \[ a_n=\frac{a_{n-1}+\dots + a_{n-k}}{k}. \]Find the maximum possible value of $a_{2018}-a_{2017}$.

Let $f: [0, \infty) \to [0, \infty)$ be a continuous function with $f(0)>0$ and having the property $$x-y<f(y)-f(x) \le 0~\forall~0 \le x<y.$$ Prove that: $a)$ There exists a unique $\alpha \in (0, \infty)$ such that $(f \circ f)(\alpha)=\alpha.$ $b)$ The sequence $(x_n)_{n \ge 1},$ defined by $x_1 \ge 0$ and $x_{n+1}=f(x_n)~\forall~n \in \mathbb{N}$ is convergent.

For each integer $a_0 > 1$, define the sequence $a_0, a_1, a_2, \ldots$ for $n \geq 0$ as $$a_{n+1} = \begin{cases} \sqrt{a_n} & \text{if } \sqrt{a_n} \text{ is an integer,} \\ a_n + 3 & \text{otherwise.} \end{cases} $$ Determine all values of $a_0$ such that there exists a number $A$ such that $a_n = A$ for infinitely many values of $n$. [i]Proposed by Stephan Wagner, South Africa[/i]

Let $p$ be a prime. How many different (infinite) sequences $\left(a_k\right)_{k\ge0}$ exist such that for every positive integer $n$ \[\frac{a_0}{a_1}+\frac{a_0}{a_2}+\cdots+\frac{a_0}{a_n}+\frac{p}{a_{n+1}}=1?\]

Determine all possible values of $a_1$ for which there exists a sequence $a_1, a_2, \dots$ of rational numbers satisfying $$a_{n+1}^2-a_{n+1}=a_n$$ for all positive integers $n$.