Determine the set of real numbers $\alpha$ that can be expressed in the form \[\alpha=\sum_{n=0}^{\infty}\frac{x_{n+1}}{x_n^3}\] where $x_0,x_1,x_2,\dots$ is an increasing sequence of real numbers with $x_0=1$.

Let the continuous functions $ f_n(x), \; n\equal{}1,2,3,...,$ be defined on the interval $ [a,b]$ such that every point of $ [a,b]$ is a root of $ f_n(x)\equal{}f_m(x)$ for some $ n \not\equal{} m$. Prove that there exists a subinterval of $ [a,b]$ on which two of the functions are equal.

Let $f:[0,1]\rightarrow\mathbb{R}$ be an integrable function such that: \[0<\left\vert \int_{0}^{1}f(x)\, \text{d}x\right\vert\le 1.\] Show that there exists $x_1\not= x_2, x_1,x_2\in [0,1]$, such that: \[\int_{x_1}^{x_2}f(x)\, \text{d}x=(x_1-x_2)^{2002}\]

Let $ \lambda $ be the Lebesgue measure in the plane, let $ u,v\in\mathbb{R}^2, $ let $ A\subset\mathbb{R}^2 $ such that $ \lambda (A)>0 $ and let be the function $ f:\mathbb{R}\longrightarrow\mathbb{R} $ defined as $$ f(t)=\int_A \chi_{A+tu}\cdot\chi_{A+tv}\cdot d\lambda $$ [b]a)[/b] Show that $ f $ is continuous. [b]b)[/b] Prove that any Lebesgue measurable subset of the plane that has nonzero Lebesgue measure contains the vertices of an equilateral triangle.

Find $ \lim_{n\to\infty}a_n$ where $ (a_n)_{n\ge1}$ is defined by $ a_n\equal{}\frac1{\sqrt{n^2\plus{}8n\minus{}1}}\plus{}\frac1{\sqrt{n^2\plus{}16n\minus{}1}}\plus{}\frac1{\sqrt{n^2\plus{}24n\minus{}1}}\plus{}\ldots\plus{}\frac1{\sqrt{9n^2\minus{}1}}$.

For which values of $ z$ does the series $ \sum_{n\equal{}1}^{\infty}c_1c_2\cdots c_n z^n$ converge, provided that $ c_k>0$ and $ \sum_{k\equal{}1}^{\infty} \frac{c_k}{k}<\infty$ ?

Let $(a_{n})$ be the sequence defined by $a_{0}=1,a_{n+1}=\sum_{k=0}^{n}\dfrac{a_k}{n-k+2}$. Find the limit \[\lim_{n \rightarrow \infty} \sum_{k=0}^{n}\dfrac{a_{k}}{2^{k}},\] if it exists.

Let $\alpha$ be a real number, $1<\alpha<2$. (a) Show that $\alpha$ can uniquely be represented as the infinte product \[ \alpha = \left(1+\dfrac1{n_1}\right)\left(1+\dfrac1{n_2}\right)\cdots \] with $n_i$ positive integers satisfying $n_i^2\le n_{i+1}$. (b) Show that $\alpha\in\mathbb{Q}$ iff from some $k$ onwards we have $n_{k+1}=n_k^2$.

Let $(a_n)_{n\geq 0}$ be a sequence defined by $a_0\geq 0$ and the recurrence relation $$a_{n+1}=\frac{a_n^2-1}{n+1},$$ for all $n\geq 0$. Prove that here exists a real number $a> 0$ such that: [list] [*] if $a_0\geq a,$ $\lim_{n\rightarrow\infty}a_n = \infty$; [*] if $a_0\in [0,a),$ $\lim_{n\rightarrow\infty}a_n = 0$.

Let $ f$ be a continuous, nonconstant, real function, and assume the existence of an $ F$ such that $ f(x\plus{}y)\equal{}F[f(x),f(y)]$ for all real $ x$ and $ y$. Prove that $ f$ is strictly monotone.

Let $f:\mathbb{Q}\rightarrow \mathbb{Q}$ a monotonic bijective function. a)Prove that there exist a unique continuous function $F:\mathbb{R}\rightarrow \mathbb{R}$ such that $F(x)=f(x),\ (\forall)x\in \mathbb{Q}$. b)Give an example of a non-injective polynomial function $G:\mathbb{R}\rightarrow \mathbb{R}$ such that $G(\mathbb{Q})\subset \mathbb{Q}$ and it's restriction defined on $\mathbb{Q}$ is injective.

[b]7.[/b] Let $(z_n)_{n=1}^{\infty}$ be a sequence of complex numbers tending to zero. Prove that there exists a sequence $(\epsilon_n)_{n=1}^{\infty}$ (where $\epsilon_n = +1$ or $-1$) such that the series $\sum_{n=1}^{\infty} \epsilon_n z_n$ is convergente. [b](F. 9)[/b]

Let $ H$ be a set of real numbers that does not consist of $ 0$ alone and is closed under addition. Further, let $ f(x)$ be a real-valued function defined on $ H$ and satisfying the following conditions: \[ \;f(x)\leq f(y)\ \mathrm{if} \;x \leq y\] and \[ f(x\plus{}y)\equal{}f(x)\plus{}f(y) \;(x,y \in H)\ .\] Prove that $ f(x)\equal{}cx$ on $ H$, where $ c$ is a nonnegative number. [M. Hosszu, R. Borges]

Prove that if the function $ f : \mathbb{R}^2 \rightarrow [0,1]$ is continuous and its average on every circle of radius $ 1$ equals the function value at the center of the circle, then $ f$ is constant. [i]V. Totik[/i]

Let $ f$ be a strictly increasing, continuous function mapping $ I=[0,1]$ onto itself. Prove that the following inequality holds for all pairs $ x,y \in I$: \[ 1-\cos (xy) \leq \int_0^xf(t) \sin (tf(t))dt + \int_0^y f^{-1}(t) \sin (tf^{-1}(t)) dt .\] [i]Zs. Pales[/i]

Let $f:[0,1] \rightarrow \mathbb{R}$ a non-decreasing function, $f \in C^1,$ for which $f(0) = 0.$ Let $g:[0,1] \rightarrow \mathbb{R}$ a function defined by \[ g(x) = f(x) + (x - 1) f'(x), \forall x \in [0,1]. \] a) Show that \[ \int_{0}^{1} g(x) \text{dx} = 0. \] b) Prove that for all functions $\phi :[0,1] \rightarrow [0,1],$ convex and differentiable with $\phi(0) = 0$ and $\phi(1) = 1,$ the inequality holds \[ \int_{0}^{1} g( \phi(t)) \text{dt} \leq 0. \]

Let $f:[0,1)\to (0,1)$ a continous onto (surjective) function. a) Prove that, for all $a\in(0,1)$, the function $f_a:(a,1)\to (0,1)$, given by $f_a(x) = f(x)$, for all $x\in(a,1)$ is onto; b) Give an example of such a function.

Let $A$ be an infinite subset of the set of natural numbers, and denote by $\tau_A(n)$ the number of divisors of $n$ in $A$. Construct a set $A$ for which $$\sum_{n\le x}\tau_A(n)=x+O(\log\log x)$$ and show that there is no set for which the error term is $o(\log\log x)$ in the above formula. (translated by Miklós Maróti)

Let $S$ be the set of points inside and on the boarder of a regular haxagon with side length 1. Find the least constant $r$, such that there exists one way to colour all the points in $S$ with three colous so that the distance between any two points with same colour is less than $r$.

Let $a_0=0$, $a_1, \ldots, a_k$ and $b_1, \ldots, b_k$ be arbitrary real numbers. (i) Show that for all sufficiently large $n$ there exist polynomials $p_n$ of degree at most $n$ for which $$p_n^{(i)} (-1)=a_i,\,\,\,\,\, p_n^{(i)} (1)=b_i,\,\,\,\,\, i=0, 1, \ldots, k$$ and $$\max_{|x|\leq 1} |p_n (x)|\leq \frac{c}{n^2}\,\,\,\,\,\,\,\,\,\, (*)$$ where the constant $c$ depends only on the numbers $a_i, b_i$. (ii) Prove that, in general, (*) cannot be replaced by the relation $$\lim_{n\to\infty} n^2\cdot \max_{|x|\leq 1} |p_n (x)| = 0$$ [J. Szabados]

For a real number $ x$, let $ \|x \|$ denote the distance between $ x$ and the closest integer. Let $ 0 \leq x_n <1 \; (n\equal{}1,2,\ldots)\ ,$ and let $ \varepsilon >0$. Show that there exist infinitely many pairs $ (n,m)$ of indices such that $ n \not\equal{} m$ and \[ \|x_n\minus{}x_m \|< \min \left( \varepsilon , \frac{1}{2|n\minus{}m|} \right).\] [i]V. T. Sos[/i]

[b]1.[/b] For each real number $r$ between $0$ and $1$ we can represent $r$ as an infinite decimal $r = 0.r_1r_2r_3\dots$ with $0 \leq r_i \leq 9$. For example, $\frac{1}{4} = 0.25000\dots$, $\frac{1}{3} = 0.333\dots$ and $\frac{1}{\sqrt{2}} = 0.707106\dots$. a) Show that we can choose two rational numbers $p$ and $q$ between $0$ and $1$ such that, from their decimal representations $p = 0.p_1p_2p_3\dots$ and $q = 0.q_1q_2q_3\dots$, it's possible to construct an irrational number $\alpha = 0.a_1a_2a_3\dots$ such that, for each $i = 1, 2, 3, \dots$, we have $a_i = p_1$ or $a_1 = q_i$. b) Show that there's a rational number $s = 0.s_1s_2s_3\dots$ and an irrational number $\beta = 0.b_1b_2b_3\dots$ such that, for all $N \geq 2017$, the number of indexes $1 \leq i \leq N$ satisfying $s_i \neq b_i$ is less than or equal to $\frac{N}{2017}$.

Let $G$ be an abelian group with $n$ elements, and let \[\{g_1=e,g_2,\dots,g_k\}\subsetneq G\] be a (not necessarily minimal) set of distinct generators of $G.$ A special die, which randomly selects one of the elements $g_1,g_2,\dots,g_k$ with equal probability, is rolled $m$ times and the selected elements are multiplied to produce an element $g\in G.$ Prove that there exists a real number $b\in(0,1)$ such that \[\lim_{m\to\infty}\frac1{b^{2m}}\sum_{x\in G}\left(\mathrm{Prob}(g=x)-\frac1n\right)^2\] is positive and finite.

Let $f : (a,b) \to \mathbb R$ be a function with the property that for all $x \in (a,b)$ there is a non-degenerated interval $[ a_x,b_x ]$ with $a < a_x \leq x \leq b_x < b$ such that $f$ is constant on $\left[ a_x,b_x \right]$. (a) Prove that $\textrm{Im} \, f$ is finite or numerable. (b) Find all continuous functions which have the property mentioned in the hypothesis.

For $ a>1$, find $ \lim_{n\to\infty} \int_0^a \frac{e^x}{1\plus{}x^n}dx.$