Define a function $g: \mathbb{N} \mapsto \mathbb{N}$ by the following rule: (a) $g$ is nondecrasing (b) for each $n$, $g(n)$ i sthe number of times $n$ appears in the range of $g$, Prove that $g(1) = 1$ and $g(n+1) = 1 + g( n +1 - g(g(n)))$ for all $n \in \mathbb{N}$

Let $a, \ b \in \mathbb{Z_{+}}$. Denote $f(a, b)$ the number sequences $s_1, \ s_2, \ ..., \ s_a$, $s_i \in \mathbb{Z}$ such that $|s_1|+|s_2|+...+|s_a| \le b$. Show that $f(a, b)=f(b, a)$.

The Fibonacci numbers $F_0, F_1, F_2, . . .$ are defined inductively by $F_0=0, F_1=1$, and $F_{n+1}=F_n+F_{n-1}$ for $n \ge 1$. Given an integer $n \ge 2$, determine the smallest size of a set $S$ of integers such that for every $k=2, 3, . . . , n$ there exist some $x, y \in S$ such that $x-y=F_k$. [i]Proposed by Croatia[/i]

Find all functions $f \colon \mathbb{R} \to \mathbb{R}$ that satisfy the inequality \[ f(y) - \left(\frac{z-y}{z-x} f(x) + \frac{y-x}{z-x}f(z)\right) \leq f\left(\frac{x+z}{2}\right) - \frac{f(x)+f(z)}{2} \] for all real numbers $x < y < z$. [i]Proposed by Gabriel Carroll[/i]

A sequence $\{y_i\}$ is given, where $y_0=-\frac{1}{4},y_1=0$. For every positive integer $n$ the following equality holds: $$y_{n-1}+y_{n+1}=4y_n+1$$ Prove that for every positive integer $n$ the number $2y_{2n}+\frac{3}{2}$ a) is a positive integer b) is a square of a positive integer [i]D. Zmiaikou[/i]

Let $A=(a_{ij})_{i, j=1}^n$ be a symmetric $n\times n$ matrix with real entries, and let $\lambda _1, \lambda _2, \dots, \lambda _n$ denote its eigenvalues. Show that $$\sum_{1\le i<j\le n} a_{ii}a_{jj}\ge \sum_{1\le i < j\le n} \lambda _i \lambda _j$$ and determine all matrices for which equality holds. (Proposed by Matrin Niepel, Comenius University, Bratislava)

Let $A$ and $B$ be two sets such that $A \cup B$ is the set of the positive integers, and $A \cap B$ is the empty set. It is known that if two positive integers have a prime larger than $2013$ as their difference, then one of them is in $A$ and the other is in $B$. Find all the possibilities for the sets $A$ and $B$.

On a circular table sit $\displaystyle {n> 2}$ students. First, each student has just one candy. At each step, each student chooses one of the following actions: (A) Gives a candy to the student sitting on his left or to the student sitting on his right. (B) Separates all its candies in two, possibly empty, sets and gives one set to the student sitting on his left and the other to the student sitting on his right. At each step, students perform the actions they have chosen at the same time. A distribution of candy is called legitimate if it can occur after a finite number of steps. Find the number of legitimate distributions. (Two distributions are different if there is a student who has a different number of candy in each of these distributions.) （Forgive my poor English）

Let $A_1,A_2,\ldots ,A_{n+1}$ be positive integers such that $(A_i,A_{n+1})=1$ for every $i=1,2,\ldots ,n$. Show that the equation \[x_1^{A_1}+x_2^{A_2}+\ldots + x_n^{A_n}=x_{n+1}^{A_{n+1} }\] has an infinite set of solutions $(x_1,x_2,\ldots , x_{n+1})$ in positive integers.

In terms of $n\ge2$, find the largest constant $c$ such that for all nonnegative $a_1,a_2,\ldots,a_n$ satisfying $a_1+a_2+\cdots+a_n=n$, the following inequality holds: \[\frac1{n+ca_1^2}+\frac1{n+ca_2^2}+\cdots+\frac1{n+ca_n^2}\le \frac{n}{n+c}.\] [i]Calvin Deng.[/i]

Let $S$ be the set of all squarefree numbers and $n$ be a natural number. Prove that $$\sum_{k\in S}\left\lfloor\sqrt{\frac nk}\right\rfloor=n.$$

In the space there are 8 points that no four of them are in the plane. 17 of the connecting segments are coloured blue and the other segments are to be coloured red. Prove that this colouring will create at least four triangles. Prove also that four cannot be subsituted by five. Remark: Blue triangles are those triangles whose three edges are coloured blue.

Let $f(x) = 4x - x^{2}$. Give $x_{0}$, consider the sequence defined by $x_{n} = f(x_{n-1})$ for all $n \ge 1$. For how many real numbers $x_{0}$ will the sequence $x_{0}, x_{1}, x_{2}, \ldots$ take on only a finite number of different values? $ \textbf{(A)}\ \text{0}\qquad\textbf{(B)}\ \text{1 or 2}\qquad\textbf{(C)}\ \text{3, 4, 5 or 6}\qquad\textbf{(D)}\ \text{more than 6 but finitely many}\qquad\textbf{(E)}\ \text{infinitely many} $

Let $\mathbb{F}_p$ denote the field of integers modulo a prime $p,$ and let $n$ be a positive integer. Let $v$ be a fixed vector in $\mathbb{F}_p^n,$ let $M$ be an $n\times n$ matrix with entries in $\mathbb{F}_p,$ and define $G:\mathbb{F}_p^n\to \mathbb{F}_p^n$ by $G(x)=v+Mx.$ Let $G^{(k)}$ denote the $k$-fold composition of $G$ with itself, that is, $G^{(1)}(x)=G(x)$ and $G^{(k+1)}(x)=G(G^{(k)}(x)).$ Determine all pairs $p,n$ for which there exist $v$ and $M$ such that the $p^n$ vectors $G^{(k)}(0),$ $k=1,2,\dots,p^n$ are distinct.

An infinite sequence of positive real numbers $a_1,a_2,a_3,\dots$ is called [i]territorial[/i] if for all positive integers $i,j$ with $i<j$, we have $|a_i-a_j|\ge\tfrac1j$. Can we find a territorial sequence $a_1,a_2,a_3,\dots$ for which there exists a real number $c$ with $a_i<c$ for all $i$?