The real numbers $a_0,a_1,a_2,\ldots$ satisfy $1=a_0\le a_1\le a_2\le\ldots. b_1,b_2,b_3,\ldots$ are defined by $b_n=\sum_{k=1}^n{1-{a_{k-1}\over a_k}\over\sqrt a_k}$. [b]a.)[/b] Prove that $0\le b_n<2$. [b]b.)[/b] Given $c$ satisfying $0\le c<2$, prove that we can find $a_n$ so that $b_n>c$ for all sufficiently large $n$.

$a, b, c$ are real positive numbers for which $a+b+c=3$. Prove that $a^{12}+b^{12}+c^{12}+8(ab+bc+ca) \geq 27$

Find the product of the minimum and maximum values of $\frac{3x+1}{9x^2+6x+2}$.

Positive real sequences $\{ a_n \}$ and $\{ b_n \}$ satisfy the following conditions for all positive integers $n$. [list] [*] $a_{n+1}b_{n+1}= a_n^2 + b_n^2$ [*] $a_{n+1}+b_{n+1}=a_nb_n$ [*] $a_n \geq b_n$ [/list] Prove that there exists positive integer $n$ such that $\frac{a_n}{b_n}>2023^{2023}.$

Let $a_1, a_2, \ldots, a_n$ be positive numbers, $m_g = \sqrt[n]{(a_1a_2 \cdots a_n)}$ their geometric mean, and $m_a = \frac{(a_1 + a_2 + \cdots + a_n)}{n}$ their arithmetic mean. Prove that \[(1 + m_g)^n \leq (1 + a_1) \cdots(1 + a_n) \leq (1 + m_a)^n.\]

$x,y,z\in\mathbb{R^+}$. If $xyz=1$, then prove the following: $$\sum\frac{x^6+2}{x^3}\geq3(\frac{x}{y}+\frac{y}{z}+\frac{z}{x})$$

Let $a,b,c$ be positive integers which satisfy the condition: $16(a+b+c)\geq \frac{1}{a}+\frac{1}{b}+\frac{1}{c}$. Prove that \[\sum_{cyc} \left( \frac{1}{a+b+\sqrt{2a+2c}} \right)^{3}\leq \frac{8}{9}\]

Problem Shortlist BMO 2017 Let $ a $,$ b$,$ c$, be positive real numbers such that $abc= 1 $. Prove that $$\frac{1}{a^{5}+b^{5}+c^{2}}+\frac{1}{b^{5}+c^{5}+a^{2}}+\frac{1}{c^{5}+b^{5}+b^{2}}\leq 1 . $$

$x$, $y$ and $z$ are positive reals such that $x+y+z=xyz$. Find the minimum value of: \[ x^7(yz-1)+y^7(zx-1)+z^7(xy-1) \]

The $ n$ roots of a complex coefficient polynomial $ f(z) \equal{} z^n \plus{} a_1z^{n \minus{} 1} \plus{} \cdots \plus{} a_{n \minus{} 1}z \plus{} a_n$ are $ z_1, z_2, \cdots, z_n$. If $ \sum_{k \equal{} 1}^n |a_k|^2 \leq 1$, then prove that $ \sum_{k \equal{} 1}^n |z_k|^2 \leq n$.

Given real numbers $b \geq a>0$, find all solutions of the system \begin{align*} &x_1^2+2ax_1+b^2=x_2,\\ &x_2^2+2ax_2+b^2=x_3,\\ &\qquad\cdots\cdots\cdots\\ &x_n^2+2ax_n+b^2=x_1. \end{align*}

Let $a, b, c$ be side lengths of a right triangle and $c$ be the length of the hypotenuse .Find the minimum value of $\frac{a^3+b^3+c^3}{abc}$.

Let $ a$, $ b$, $ c$, $ d$ be positive real numbers such that $ abcd \equal{} 1$ and $ a \plus{} b \plus{} c \plus{} d > \dfrac{a}{b} \plus{} \dfrac{b}{c} \plus{} \dfrac{c}{d} \plus{} \dfrac{d}{a}$. Prove that \[ a \plus{} b \plus{} c \plus{} d < \dfrac{b}{a} \plus{} \dfrac{c}{b} \plus{} \dfrac{d}{c} \plus{} \dfrac{a}{d}\] [i]Proposed by Pavel Novotný, Slovakia[/i]

Positive real numbers $a,b,c$ satisfy $a+b+c=1$. Prove that $$(a+1)\sqrt{2a(1-a)} + (b+1)\sqrt{2b(1-b)} + (c+1)\sqrt{2c(1-c)} \geq 8(ab+bc+ca).$$ Also, find the values of $a,b,c$ for which the equality happens.

Suppose that $x$, $y$, $z$ are real numbers satisfying \[x+y+z=12,\qquad\text{and}\qquad x^2+y^2+z^2=54.\] Prove that:[list](a) Each of the numbers $xy$, $yz$, $zx$ is at least $9$, but at most $25$. (b) One of the numbers $x$, $y$, $z$ is at most $3$, and another one is at least $5$.[/list]

Prove that $a^3 + b^3 + c^3 + abc +a^{3}b^{2}c^{-1}+a^{3}c^{2}b^{-1}+b^{3}a^{2}c^{-1}+b^{3}c^{2}a^{-1}+c^{3}a^{2}b^{-1}+c^{3}b^{2}a^{-1}+a^{5}b^{3}c^{-3}+ abc^{14} + a^{5}c^{3}b^{-3}+b^{5}a^{3}c^{-3}+b^{5}c^{3}a^{-3}+c^{5}a^{3}b^{-3}+c^{5}b^{3}a^{-3}+a^{6}b^{1}c^{-1}+a^{6}c^{1}b^{-1}+b^{6}a^{1}c^{-1}+b^{6}c^{1}a^{-1}+c^{6}a^{1}b^{-1}+c^{6}b^{1}a^{-1}+ a^{6}b^{4}c^{-3}+a^{6}c^{4}b^{-3}+b^{6}a^{4}c^{-3}+b^{6}c^{4}a^{-3}+c^{6}a^{4}b^{-3}+c^{6}b^{4}a^{-3}+a^{7}b^{2}c^{-1}+a^{7}c^{2}b^{-1}+b^{7}a^{2}c^{-1}+b^{7}c^{2}a^{-1}+c^{7}a^{2}b^{-1}+ abc + a^{14}bc + c^{7}b^{2}a^{-1}+a^{4}b^{1}c^{4}+a^{4}c^{1}b^{4}+b^{4}a^{1}c^{4}+b^{4}c^{1}a^{4}+c^{4}a^{1}b^{4}+c^{4}b^{1}a^{4}+a^{6}c^{4}+a^{6}b^{4}+b^{6}c^{4}+b^{6}a^{4}+c^{6}b^{4}+c^{6}a^{4}+a^{9}b^{6}c^{-4}+a^{9}c^{6}b^{-4}+ ab^{14}c + b^{9}a^{6}c^{-4}+b^{9}c^{6}a^{-4}+c^{9}a^{6}b^{-4}+ abc + c^{9}b^{6}a^{-4}+a^{12}b^{1}c^{-1}+a^{12}c^{1}b^{-1}+b^{12}a^{1}c^{-1}+b^{12}c^{1}a^{-1}+c^{12}a^{1}b^{-1}+ c^5 b^5 a^5 - c^5 b^5 a^2 + 3 c^5 b^5 - c^5 b^2 a^5 + c^5 b^2 a^2 - 3 c^5 b^2 + 3 c^5 a^5 - 3 c^5 a^2 + 9 c^5 - c^2 b^5 a^5 + c^2 b^5 a^2 - 3 c^2 b^5 + c^2 b^2 a^5 - c^2 b^2 a^2 + 3 c^2 b^2 - 3 c^2 a^5 + 3 c^2 a^2 - 9 c^2 + 3 b^5 a^5 - 3 b^5 a^2 + 9 b^5 - 3 b^2 a^5 + 3 b^2 a^2 - 9 b^2 + 9 a^5 - 9 a^2 + 27 + c^{12}b^{1}a^{-1}+a^{13}b^{9}c^{-9}+a^{13}c^{9}b^{-9}+b^{13}a^{9}c^{-9}+b^{13}c^{9}a^{-9}+c^{13}a^{9}b^{-9}+c^{13}b^{9}a^{-9}+a^{12}b^{11}c^{-9}+a^{12}c^{11}b^{-9}+b^{12}a^{11}c^{-9}+b^{12}c^{11}a^{-9}+c^{12}a^{11}b^{-9}+c^{12}b^{11}a^{-9}+a^{8}b^{7}+a^{8}c^{7}+b^{8}a^{7}+b^{8}c^{7}+c^{8}a^{7}+c^{8}b^{7} + a^{16} + b^{16} + c^{16} + a^{16} + b^{16} + c^{16} + a^{16} + b^{16} + c^{16}\ge c^3 + 3 c^2 a + 3 c b^2 + 6 c b a + b^3 + 3 b^2 a + a^3 + a^{1}c^{2}+a^{1}b^{2}+4b^{1}c^{2}+4b^{1}a^{2}+c^{1}b^{2}+4c^{1}a^{2}+a^{1}c^{3}+a^{1}b^{3}+b^{1}c^{3}+b^{1}a^{3}+c^{1}b^{3}+c^{1}a^{3}+a^{3}b^{2}+a^{3}c^{2}+b^{3}a^{2}+b^{3}c^{2}+c^{3}a^{2}+c^{3}b^{2}+a^{5}c^{1}+a^{5}b^{1}+b^{5}c^{1}+b^{5}a^{1}+c^{5}b^{1}+c^{5}a^{1}+a^{2}b^{1}c^{4}+a^{2}c^{1}b^{4}+b^{2}a^{1}c^{4}+b^{2}c^{1}a^{4}+c^{2}a^{1}b^{4}+c^{2}b^{1}a^{4}+a^{1}c^{7}+a^{1}b^{7}+b^{1}c^{7}+b^{1}a^{7}+c^{1}b^{7}+c^{1}a^{7}+a^{1}c^{8}+a^{1}b^{8}+b^{1}c^{8}+b^{1}a^{8}+c^{1}b^{8}+c^{1}a^{8}+a^{5}b^{1}c^{4}+a^{5}c^{1}b^{4}+b^{5}a^{1}c^{4}+b^{5}c^{1}a^{4}+c^{5}a^{1}b^{4}+c^{5}b^{1}a^{4}+a^{2}b^{1}c^{8}+a^{2}c^{1}b^{8}+b^{2}a^{1}c^{8}+b^{2}c^{1}a^{8}+c^{2}a^{1}b^{8}+c^{2}b^{1}a^{8}+a^{1}c^{11}+a^{1}b^{11}+b^{1}c^{11}+b^{1}a^{11}+c^{1}b^{11}+c^{1}a^{11}+a^{6}b^{2}c^{5}+a^{6}c^{2}b^{5}+b^{6}a^{2}c^{5}+b^{6}c^{2}a^{5}+c^{6}a^{2}b^{5}+c^{6}b^{2}a^{5}+a^{3}b^{2}c^{9}+a^{3}c^{2}b^{9}+b^{3}a^{2}c^{9}+b^{3}c^{2}a^{9}+c^{3}a^{2}b^{9}+c^{3}b^{2}a^{9}+a^{3}b^{1}c^{11}+a^{3}c^{1}b^{11}+b^{3}a^{1}c^{11}+b^{3}c^{1}a^{11}+c^{3}a^{1}b^{11}+c^{3}b^{1}a^{11} + a^{15}b + ab^{15} + a^{15}c + ac^{15} + b^{15}c + bc^{15} + a^{15}b + ab^{15} + a^{15}c + ac^{15} + b^{15}c + bc^{15}+c^{2}a^{1}b^{4}+c^{2}b^{1}a^{4}+a^{1}c^{7}+a^{1}b^{7}+b^{1}c^{7}+b^{1}a^{7}+c^{1}b^{7}+c^{1}a^{7}+a^{1}c^{8}+a^{1}b^{8}+b^{1}c^{8}+b^{1}a^{8}+c^{1}b^{8}+c^{1}a^{8}+a^{5}b^{1}c^{4}+a^{5}c^{1}b^{4}+b^{5}a^{1}c^{4}+b^{5}c^{1}a^{4}+c^{5}a^{1}b^{4}+c^{5}b^{1}a^{4}+a^{2}b^{1}c^{8}+a^{2}c^{1}b^{8}+b^{2}a^{1}c^{8}+b^{2}c^{1}a^{8}+c^{2}a^{1}b^{8}+c^{2}b^{1}a^{8}+a^{1}c^{11}+a^{1}b^{11}+b^{1}c^{11}+b^{1}a^{11}+c^{1}b^{11}+c^{1}a^{11}+a^{6}b^{2}c^{5}+a^{6}c^{2}b^{5}+b^{6}a^{2}c^{5}+b^{6}c^{2}a^{5}+c^{6}a^{2}b^{5}+c^{6}b^{2}a^{5}+a^{3}b^{2}c^{9}+a^{3}c^{2}b^{9}+b^{3}a^{2}c^{9}+b^{3}c^{2}a^{9}+c^{3}a^{2}b^{9}+c^{3}b^{2}a^{9}+a^{3}b^{1}c^{11}+a^{3}c^{1}b^{11}+b^{3}a^{1}c^{11}+b^{3}c^{1}a^{11}+c^{3}a^{1}b^{11}+c^{3}b^{1}a^{11} + a^{15}b + ab^{15} + a^{15}c + ac^{15} + b^{15}c + bc^{15} + a^{15}b + ab^{15} + a^{15}c + ac^{15} + b^{15}c + bc^{15}$ for all $a,b,c\in\mathbb R^+$. [i]Proposed by Henry Jiang and C++[/i]