Find all functions $f:\mathbb{R}\rightarrow\mathbb{R}$ that satisfy the following condition for any real numbers $x{}$ and $y$ $$f(x)+f(x+y) \leq f(xy)+f(y).$$

Let $ABCD$ be a parallelogram with $AC=BC.$ A point $P$ is chosen on the extension of ray $AB$ past $B.$ The circumcircle of $ACD$ meets the segment $PD$ again at $Q.$ The circumcircle of triangle $APQ$ meets the segment $PC$ at $R.$ Prove that lines $CD,AQ,BR$ are concurrent.

Let $p{}$ be a fixed prime number. Juku and Miku play the following game. One of the players chooses a natural number $a$ such that $a>1$ and $a$ is not divisible by $p{}$, his opponent chooses any natural number $n{}$ such that $n>1$. Miku wins if the natural number written as $n{}$ "$1$"s in the positional numeral system with base $a$ is divisible by $p{}$, otherwise Juku wins. Which player has a winning strategy if: (a) Juku chooses the number $a$, tells it to Miku and then Miku chooses the number $n{}$; (b) Juku chooses the number $n{}$, tells it to Miku and then Miku chooses the number $a$?

Let $n\ge 3$ be a fixed integer. There are $m\ge n+1$ beads on a circular necklace. You wish to paint the beads using $n$ colors, such that among any $n+1$ consecutive beads every color appears at least once. Find the largest value of $m$ for which this task is $\emph{not}$ possible. Carl Schildkraut, USA

(a) Is it true that, for arbitrary integer $n{}$ greater than $1$ and distinct positive integers $i{}$ and $j$ not greater than $n{}$, the set of any $n{}$ consecutive integers contains distinct numbers $i^{'}$ and $j^{'}$ whose product $i^{'}j^{'}$ is divisible by the product $ij$? (b) Is it true that, for arbitrary integer $n{}$ greater than $2$ and distinct positive integers $i, j, k$ not greater than $n{}$, the set of any $n{}$ consecutive integers contains distinct numbers $i^{'},j^{'},k^{'}$ whose product $i^{'}j^{'}k^{'}$ is divisible by the product $ijk$?

Consider a $100\times 100$ square unit lattice $\textbf{L}$ (hence $\textbf{L}$ has $10000$ points). Suppose $\mathcal{F}$ is a set of polygons such that all vertices of polygons in $\mathcal{F}$ lie in $\textbf{L}$ and every point in $\textbf{L}$ is the vertex of exactly one polygon in $\mathcal{F}.$ Find the maximum possible sum of the areas of the polygons in $\mathcal{F}.$ Michael Ren and Ankan Bhattacharya, USA

Let $n$ be a positive integer. Given is a subset $A$ of $\{0,1,...,5^n\}$ with $4n+2$ elements. Prove that there exist three elements $a<b<c$ from $A$ such that $c+2a>3b$. Proposed by Dominik Burek and Tomasz Ciesla, Poland

Let $d_i$ be the first decimal digit of $2^i$ for every non-negative integer $i$. Prove that for each positive integer $n$ there exists a decimal digit other than $0$ which can be found in the sequence $d_0, d_1, \dots, d_{n-1}$ strictly less than $\frac{n}{17}$ times.

Determine all tuples of integers $(a,b,c)$ such that: $$(a-b)^3(a+b)^2 = c^2 + 2(a-b) + 1$$

Let $ABCD$ be a cyclic quadrilateral whose center of the circumscribed circle is inside this quadrilateral, and its diagonals intersect in point $S{}$. Let $P{}$ and $Q{}$ be the centers of the curcimuscribed circles of triangles $ABS$ and $BCS$. The lines through the points $P{}$ and $Q{}$, which are parallel to the sides $AD$ and $CD$, respectively, intersect at the point $R$. Prove that the point $R$ lies on the line $BD$.

For each integer $n\ge 1,$ compute the smallest possible value of \[\sum_{k=1}^{n}\left\lfloor\frac{a_k}{k}\right\rfloor\]over all permutations $(a_1,\dots,a_n)$ of $\{1,\dots,n\}.$ Proposed by Shahjalal Shohag, Bangladesh

The kingdom of Anisotropy consists of $n$ cities. For every two cities there exists exactly one direct one-way road between them. We say that a path from $X$ to $Y$ is a sequence of roads such that one can move from $X$ to $Y$ along this sequence without returning to an already visited city. A collection of paths is called diverse if no road belongs to two or more paths in the collection. Let $A$ and $B$ be two distinct cities in Anisotropy. Let $N_{AB}$ denote the maximal number of paths in a diverse collection of paths from $A$ to $B$. Similarly, let $N_{BA}$ denote the maximal number of paths in a diverse collection of paths from $B$ to $A$. Prove that the equality $N_{AB} = N_{BA}$ holds if and only if the number of roads going out from $A$ is the same as the number of roads going out from $B$. Proposed by Warut Suksompong, Thailand