Let $ A_0 \equal{} (a_1,\dots,a_n)$ be a finite sequence of real numbers. For each $ k\geq 0$, from the sequence $ A_k \equal{} (x_1,\dots,x_k)$ we construct a new sequence $ A_{k \plus{} 1}$ in the following way. 1. We choose a partition $ \{1,\dots,n\} \equal{} I\cup J$, where $ I$ and $ J$ are two disjoint sets, such that the expression \[ \left|\sum_{i\in I}x_i \minus{} \sum_{j\in J}x_j\right| \] attains the smallest value. (We allow $ I$ or $ J$ to be empty; in this case the corresponding sum is 0.) If there are several such partitions, one is chosen arbitrarily. 2. We set $ A_{k \plus{} 1} \equal{} (y_1,\dots,y_n)$ where $ y_i \equal{} x_i \plus{} 1$ if $ i\in I$, and $ y_i \equal{} x_i \minus{} 1$ if $ i\in J$. Prove that for some $ k$, the sequence $ A_k$ contains an element $ x$ such that $ |x|\geq\frac n2$. [i]Author: Omid Hatami, Iran[/i]

a) Let $n$ be a positive integer. Prove that $ n\sqrt {x-n^2}\leq \frac {x}{2}$ , for $x\geq n^2$. b) Find real $x,y,z$ such that: $ 2\sqrt {x-1} +4\sqrt {y-4} + 6\sqrt {z-9} = x+y+z$

Prove that for an arbitrary pair of vectors $f$ and $g$ in the space the inequality \[af^2 + bfg +cg^2 \geq 0\] holds if and only if the following conditions are fulfilled: \[a \geq 0, \quad c \geq 0, \quad 4ac \geq b^2.\]

Let $a_0,a_1,\dots$ be a sequence of positive reals such that $$ a_{n+2} \leq \frac{2023a_n}{a_na_{n+1}+2023}$$ for all integers $n\geq 0$. Prove that either $a_{2023}<1$ or $a_{2024}<1$.

For positive real numbers $a,b,c$ with $abc=1$ prove that $\left(a+\frac{1}{b}\right)^{2}+\left(b+\frac{1}{c}\right)^{2}+\left(c+\frac{1}{a}\right)^{2}\geq 3(a+b+c+1)$

Positive numbers $x, y, z$ satisfy $x + y + z \le 1$. Prove that $\big( \frac{1}{x}-1\big) \big( \frac{1}{y}-1\big)\big( \frac{1}{z}-1\big) \ge 8$.

Let $(a_i,b_i)$ be pairwise distinct pairs of positive integers for $1\le i\le n$. Prove that \[(a_1+a_2+\ldots+a_n)(b_1+b_2+\ldots+b_n)>\frac29 n^3,\] and show that the statement is sharp, i.e. for an arbitrary $c>\frac29$ it is possible that \[(a_1+a_2+\ldots+a_n)(b_1+b_2+\ldots+b_n)<cn^3.\] [i]Submitted by Péter Pál Pach, Budapest, based on an OKTV problem[/i]

Let $n$ be a positive integer and let $a_1, a_2, \ldots, a_n$ be positive reals. Show that $$\sum_{i=1}^{n} \frac{1}{2^i}(\frac{2}{1+a_i})^{2^i} \geq \frac{2}{1+a_1a_2\ldots a_n}-\frac{1}{2^n}.$$

Proof that $$ \sum_{m=1}^n5^{\omega (m)} \le \sum_{k=1}^n\lfloor \frac{n}{k} \rfloor \tau (k)^2 \le \sum_{m=1}^n5^{\Omega (m)} .$$

Let $n$ be a positive integer number. Define $S(n)$ to be the least positive integer such that $S(n) \equiv n \pmod{2}$, $S(n) \geq n$, and such that there are [b]not[/b] positive integers numbers $k,x_1,x_2,...,x_k$ such that $n=x_1+x_2+...+x_k$ and $S(n)=x_1^2+x_2^2+...+x_k^2$. Prove that there exists a real constant $c>0$ and a positive integer $n_0$ such that, for all $n \geq n_0$, $S(n) \geq cn^{\frac{3}{2}}$.

Prove that $\frac{1}{1\times2013}+\frac{1}{2\times2012}+\frac{1}{3\times2011}+...+\frac{1}{2012\times2}+\frac{1}{2013\times1}<1$

$\boxed{\text{A2}}$ Prove that for all Positive reals $a,b,c$ $\frac{a^2-bc}{2a^2+bc}+\frac{b^2-ca}{2b^2+ca}+\frac{c^2-ab}{2c^2+ab}\leq 0$

Let $a,b,c,d$ be positive real numbers with $abcd=1$. Prove that $$\sqrt{\frac{a}{b+c+d^2+a^3}}+\sqrt{\frac{b}{c+d+a^2+b^3}}+\sqrt{\frac{c}{d+a+b^2+c^3}}+\sqrt{\frac{d}{a+b+c^2+d^3}} \leq 2$$

Real number $C > 1$ is given. Sequence of positive real numbers $a_1, a_2, a_3, \ldots$, in which $a_1=1$ and $a_2=2$, satisfy the conditions \[a_{mn}=a_ma_n, \] \[a_{m+n} \leq C(a_m + a_n),\] for $m, n = 1, 2, 3, \ldots$. Prove that $a_n = n$ for $n=1, 2, 3, \ldots$.

For every positive integer $m$ prove the inquality $|\{\sqrt{m}\} - \frac{1}{2}| \geq \frac{1}{8(\sqrt m+1)} $ (The integer part $[x]$ of the number $x$ is the largest integer not exceeding $x$. The fractional part of the number $x$ is a number $\{x\}$ such that $[x]+\{x\}=x$.) A. Golovanov

Let $n$ be a fixed positive integer and let $x_1,\ldots,x_n$ be positive real numbers. Prove that $$x_1\left(1-x_1^2\right)+x_2\left(1-(x_1+x_2)^2\right)+\cdots+x_n\left(1-(x_1+...+x_n)^2\right)<\frac{2}{3}.$$

The least number is $m$ and the greatest number is $M$ among $ a_1 ,a_2 ,\ldots,a_n$ satisfying $ a_1 \plus{}a_2 \plus{}...\plus{}a_n \equal{}0$. Prove that \[ a_1^2 \plus{}\cdots \plus{}a_n^2 \le\minus{}nmM\]

Problem 4. Let a,b be positive real numbers and let x,y be positive real numbers less than 1, such that: a/(1-x)+b/(1-y)=1 Prove that: ∛ay+∛bx≤1.

For all positive real numbers $a_1, a_2, \dots, a_n$, prove that $$ \frac{a_1\! +\! a_2}{2} \cdot \frac{a_2\! +\! a_3}{2} \cdot \dots \cdot \frac{a_n\! +\! a_1}{2} \leq \frac{a_1\!+\!a_2\!+\!a_3}{2 \sqrt{2}} \cdot \frac{a_2\!+\!a_3\!+\!a_4}{2 \sqrt{2}} \cdot \dots \cdot \frac{a_n\!+\!a_1\!+\!a_2}{2 \sqrt{2}}.$$

Let $Z^+$ be positive integers set. $f:\mathbb{Z^+}\to\mathbb{Z^+}$ is a function and we show $ f \circ f \circ ...\circ f $ with $f_l$ for all $l\in \mathbb{Z^+}$ where $f$ is repeated $l$ times. Find all $f:\mathbb{Z^+}\to\mathbb{Z^+}$ functions such that $$ (n-1)^{2020}< \prod _{l=1}^{2020} {f_l}(n)< n^{2020}+n^{2019} $$ for all $n\in \mathbb{Z^+}$

For all real numbers $a,b,c>0$ such that $abc=1$, prove that $\frac{a}{1+b^3}+\frac{b}{1+c^3}+\frac{c}{1+a^3}\geq \frac{3}{2}$.

a) Find : $A=\{(a,b,c) \in \mathbb{R}^{3} | a+b+c=3 , (6a+b^2+c^2)(6b+c^2+a^2)(6c+a^2+b^2) \neq 0\}$ b) Prove that for any $(a,b,c) \in A$ next inequality hold : \begin{align*} \frac{a}{6a+b^2+c^2}+\frac{b}{6b+c^2+a^2}+\frac{c}{6c+a^2+b^2} \le \frac{3}{8} \end{align*}

Positive numbers $x,y$ satisfy $x^2+y^3 \ge x^3+y^4$. Prove that $x^3+y^3 \le 2$.

Given real numbers $x_1,x_2,y_1,y_2,z_1,z_2$ satisfying $x_1>0,x_2>0,x_1y_1>z_1^2$, and $x_2y_2>z_2^2$, prove that: \[ {8\over(x_1+x_2)(y_1+y_2)-(z_1+z_2)^2}\le{1\over x_1y_1-z_1^2}+{1\over x_2y_2-z_2^2}. \] Give necessary and sufficient conditions for equality.

Let $x$ and $y$ be positive real numbers such that $x + y = 1$. Show that $$\left( \frac{x+1}{x} \right)^2 + \left( \frac{y+1}{y} \right)^2 \geq 18.$$