Let $\mathbb Q_{>0}$ be the set of all positive rational numbers. Let $f:\mathbb Q_{>0}\to\mathbb R$ be a function satisfying the following three conditions: (i) for all $x,y\in\mathbb Q_{>0}$, we have $f(x)f(y)\geq f(xy)$; (ii) for all $x,y\in\mathbb Q_{>0}$, we have $f(x+y)\geq f(x)+f(y)$; (iii) there exists a rational number $a>1$ such that $f(a)=a$. Prove that $f(x)=x$ for all $x\in\mathbb Q_{>0}$. [i]Proposed by Bulgaria[/i]

Prove that every positive integer can be represented in the form \[3^{u_1} \ldots 2^{v_1} + 3^{u_2} \ldots 2^{v_2} + \ldots + 3^{u_k} \ldots 2^{v_k}\] with integers $u_1, u_2, \ldots , u_k, v_1, \ldots, v_k$ such that $u_1 > u_2 >\ldots > u_k\ge 0$ and $0 \le v_1 < v_2 <\ldots < v_k$.

A Magician and a Detective play a game. The Magician lays down cards numbered from $1$ to $52$ face-down on a table. On each move, the Detective can point to two cards and inquire if the numbers on them are consecutive. The Magician replies truthfully. After a finite number of moves, the Detective points to two cards. She wins if the numbers on these two cards are consecutive, and loses otherwise. Prove that the Detective can guarantee a win if and only if she is allowed to ask at least $50$ questions. [i]Proposed by Anant Mudgal[/i]

Let $g:\mathbb{N} \to \mathbb{N}$ with $g(n)$ being the product of the digits of $n$. (a) Prove that $g(n) \le n$ for all $n\in \mathbb{N}$ (b) Find all $n\in \mathbb{N}$ for which $n^2-12n+36=g(n)$

For some positive integer $n,$ Elmo writes down the equation \[x_1+x_2+\dots+x_n=x_1+x_2+\dots+x_n.\] Elmo inserts at least one $f$ to the left side of the equation and adds parentheses to create a valid functional equation. For example, if $n=3,$ Elmo could have created the equation \[f(x_1+f(f(x_2)+x_3))=x_1+x_2+x_3.\] Cookie Monster comes up with a function $f: \mathbb{Q}\to\mathbb{Q}$ which is a solution to Elmo's functional equation. (In other words, Elmo's equation is satisfied for all choices of $x_1,\dots,x_n\in\mathbb{Q})$. Is it possible that there is no integer $k$ (possibly depending on $f$) such that $f^k(x)=x$ for all $x$? [i]Srinivas Arun[/i]

Find the strictly monotone functions $ f:\{ 0\}\cup\mathbb{N}\longrightarrow\{ 0\}\cup\mathbb{N} $ that satisfy the following two properties: $ \text{(i)} f(2n)=n+f(n), $ for any nonnegative integers $ n. $ $ \text{(ii)} f(n) $ is a perfect square if and only if $ n $ is a perfect square.

For a positive integer $n$, let $f\left(n\right)$ be the sum of the first $n$ terms of the sequence $$0,1,1,2,2,3,3,4,4,\ldots,r,r,r+1,r+1,\ldots.$$ For example, $f\left(5\right)=0+1+1+2+2=6$. (a) Find a formula for $f\left(n\right)$. (b) Prove that $f\left(s+t\right)-f\left(s-t\right)=st$ for all positive integers $s$ and $t$, where $s>t$.

Let $n>1$ be a given integer. The Mint issues coins of $n$ different values $a_1, a_2, ..., a_n$, where each $a_i$ is a positive integer (the number of coins of each value is unlimited). A set of values $\{a_1, a_2,..., a_n\}$ is called [i]lucky[/i], if the sum $a_1+ a_2+...+ a_n$ can be collected in a unique way (namely, by taking one coin of each value). (a) Prove that there exists a lucky set of values $\{a_1, a_2, ..., a_n\}$ with $$a_1+ a_2+...+ a_n < n \cdot 2^n.$$ (b) Prove that every lucky set of values $\{a_1, a_2,..., a_n\}$ satisfies $$a_1+ a_2+...+ a_n >n \cdot 2^{n-1}.$$ Proposed by Ilya Bogdanov

Given a natural number $n$, prove that $2^{2n}-1$ is a multiple of $3$.

Find all functions $f:\mathbb{R} \to \mathbb{R}$ satisfying the equation \[ f(x^2+y^2+2f(xy)) = (f(x+y))^2. \] for all $x,y \in \mathbb{R}$.

Fix an integer $n \geq 2$. An $n\times n$ sieve is an $n\times n$ array with $n$ cells removed so that exactly one cell is removed from every row and every column. A stick is a $1\times k$ or $k\times 1$ array for any positive integer $k$. For any sieve $A$, let $m(A)$ be the minimal number of sticks required to partition $A$. Find all possible values of $m(A)$, as $A$ varies over all possible $n\times n$ sieves. [i]Palmer Mebane[/i]

Let $k$ be a fixed integer greater than 1, and let ${m=4k^2-5}$. Show that there exist positive integers $a$ and $b$ such that the sequence $(x_n)$ defined by \[x_0=a,\quad x_1=b,\quad x_{n+2}=x_{n+1}+x_n\quad\text{for}\quad n=0,1,2,\dots,\] has all of its terms relatively prime to $m$. [i]Proposed by Jaroslaw Wroblewski, Poland[/i]

Find all continuous functions $f:\mathbb{R}^+\rightarrow \mathbb{R}^+$ such that $$f(xf(y))+f(yf(x))=1+f(x+y)$$ for all $x, y>0.$

Let $n$ be a given positive integer. Sisyphus performs a sequence of turns on a board consisting of $n + 1$ squares in a row, numbered $0$ to $n$ from left to right. Initially, $n$ stones are put into square $0$, and the other squares are empty. At every turn, Sisyphus chooses any nonempty square, say with $k$ stones, takes one of these stones and moves it to the right by at most $k$ squares (the stone should say within the board). Sisyphus' aim is to move all $n$ stones to square $n$. Prove that Sisyphus cannot reach the aim in less than \[ \left \lceil \frac{n}{1} \right \rceil + \left \lceil \frac{n}{2} \right \rceil + \left \lceil \frac{n}{3} \right \rceil + \dots + \left \lceil \frac{n}{n} \right \rceil \] turns. (As usual, $\lceil x \rceil$ stands for the least integer not smaller than $x$. )