Let $ f:[0,1]\longrightarrow\mathbb{R}_+^* $ be a Riemann-integrable function. Calculate $ \lim_{n\to\infty}\left(-n+\sum_{i=1}^ne^{\frac{1}{n}\cdot f\left(\frac{i}{n}\right)}\right) . $

Let $f: \mathbb{R} \to \mathbb{R}$ be a differentiable function such that $$f(x)=f \left( \frac{x}{2} \right) + \frac{x}{2} f'(x), ~\forall x \in \mathbb{R}.$$ Prove that $f$ is a polynomial function of degree at most one. [hide=Note]The problem was posted quite a few times before: [url]https://artofproblemsolving.com/community/c7h100225p566080[/url] [url]https://artofproblemsolving.com/community/q11h564540p3300032[/url] [url]https://artofproblemsolving.com/community/c7h2605212p22490699[/url] [url]https://artofproblemsolving.com/community/c7h198927p1093788[/url] I'm reposting it just to have a more suitable statement for the [url=https://artofproblemsolving.com/community/c13_contests]Contest Collections[/url]. [/hide]

Given a nonzero real number $a\leq 1/e$, let $z_1, ..., z_n \in C$ be non-real numbers for which $ze^z + a = 0$ holds, and let $c_1, ..., c_n \in C$ be arbitrary. Show that the function $f(x)=Re(\sum_{j=1}^n c_j e^{z_j x})$ ($x \in R$) has a zero in every closed interval of length 1.

Find the sum of the series $ x\plus{}\frac{x^3}{1\cdot 3}\plus{}\frac{x^5}{1\cdot 3\cdot 5}\plus{}\cdots\plus{}\frac{x^{2n\plus{}1}}{1\cdot 3\cdot 5\cdot \cdots \cdot (2n\plus{}1)}\plus{}\cdots$

(a) Let $p>1$ a real number. Find a real constant $c_p$ for which the following statement holds: If $f: [-1,1]\rightarrow\mathbb{R}$ is a continuously differentiable function with $f(1)>f(-1)$ and $|f'(y)|\le1 \forall y\in[-1,1]$, then $\exists x\in[-1,1]: f'(x)>0$ so that $\forall y\in[-1,1]: |f(y)-f(x)|\le c_p\sqrt[p]{f'(x)}|y-x|$. (b) What if $p=1$?

Let $a>1$ be a positive integer and $f\in \mathbb{Z}[x]$ with positive leading coefficient. Let $S$ be the set of integers $n$ such that \[n \mid a^{f(n)}-1.\] Prove that $S$ has density $0$; that is, prove that $\lim_{n\rightarrow \infty} \frac{|S\cap \{1,...,n\}|}{n}=0$.

Let $ U$ be a real normed space such that, for an finite-dimensional, real normed space $ X,U$ contains a subspace isometrically isomorphic to $ X$. Prove that every (not necessarily closed) subspace $ V$ of $ U$ of finite codimension has the same property. (We call $ V$ of finite codimension if there exists a finite-dimensional subspace $ N$ of $ U$ such that $ V\plus{}N\equal{}U$.) [i]A. Bosznay[/i]

Consider a function $f:\mathbb{R}\rightarrow \mathbb{R}$ such that: 1. $f$ has one-side limits in any $a\in \mathbb{R}$ and $f(a-0)\le f(a)\le f(a+0)$. 2. for any $a,b\in \mathbb{R},\ a<b$, we have $f(a-0)<f(b-0)$. Prove that $f$ is strictly increasing. [i]Mihai Piticari & Sorin Radulescu[/i]

Let $n$ be a positive integer. Show that there are positive real numbers $a_0, a_1, \dots, a_n$ such that for each choice of signs the polynomial $$\pm a_nx^n\pm a_{n-1}x^{n-1} \pm \dots \pm a_1x \pm a_0$$ has $n$ distinct real roots. (Proposed by Stephan Neupert, TUM, München)

Let $\Gamma$ be a simple curve, lying inside a circle of radius $r$, rectifiable and of length $\ell$. Prove that if $\ell > kr\pi$, then there exists a circle of radius $r$ which intersects $\Gamma$ in at least $k+1$ distinct points.

Let $ f: \mathbb R \to \mathbb R$ be a function, two times derivable on $ \mathbb R$ for which there exist $ c\in\mathbb R$ such that \[ \frac { f(b)\minus{}f(a) }{b\minus{}a} \neq f'(c) ,\] for all $ a\neq b \in \mathbb R$. Prove that $ f''(c)\equal{}0$.

Let $f\colon 2^S\rightarrow \mathbb R$ be a function defined on the subsets of a finite set $S$. Prove that if $f(A)=F(S\backslash A)$ and $\max \{ f(A), f(B)\}\geq f(A\cup B)$ for all subsets $A, B$ of $S$, then $f$ assumes at most $|S|$ distinct values.

Sequence of uniformly continuous functions $f_n:R \to R$ uniformly converges to a function $f:R\to R$. Can we say that $f$ is uniformly continuous?

Consider the sequence $(a_n)_{n\geq 1}$ given by $a_1=1$ and $a_{n+1}=\frac{a_n}{1+\sqrt{1+a_n}}$, for all $n\geq 1$. Show that $$\lim_{n\rightarrow\infty}\frac{a_{n+1}}{a_n} = \lim_{n\rightarrow\infty}\sum_{k=1}^n \log_2(1+a_k)=2.$$ [i]Mathematical Gazette[/i]

Suppose that $(a_n)_{n\geq 1}$ is a sequence of real numbers satisfying $a_{n+1} = \frac{3a_n}{2+a_n}$. (i) Suppose $0 < a_1 <1$, then prove that the sequence $a_n$ is increasing and hence show that $\lim_{n \to \infty} a_n =1$. (ii) Suppose $ a_1 >1$, then prove that the sequence $a_n$ is decreasing and hence show that $\lim_{n \to \infty} a_n =1$.

Let $\{x_n\}_{n\geq 0}$ be a sequence of real numbers which satisfy \[ (x_{n+1} - x_n)(x_{n+1}+x_n+1) \leq 0, \quad n\geq 0. \] a) Prove that the sequence is bounded; b) Is it possible that the sequence is not convergent?

[b]2.[/b] Let $f_{1}(x), \dots , f_{n}(x)$ be Lebesgue integrable functions on $[0,1]$, with $\int_{0}^{1}f_{1}(x) dx= 0$ $ (i=1,\dots ,n)$. Show that, for every $\alpha \in (0,1)$, there existis a subset $E$ of $[0,1]$ with measure $\alpha$, such that $\int_{E}f_{i}(x)dx=0$. [b](R. 17)[/b]

Does every monotone increasing function $f : \mathbb[0,1] \rightarrow \mathbb[0,1]$ have a fixed point? What about every monotone decreasing function?

Let ${f : \Bbb{R} \rightarrow \Bbb{R}}$ be a continuous and strictly increasing function for which \[ \displaystyle f^{-1}\left(\frac{f(x)+f(y)}{2}\right)(f(x)+f(y)) =(x+y)f\left(\frac{x+y}{2}\right) \] for all ${x,y \in \Bbb{R}} ({f^{-1}}$ denotes the inverse of ${f})$. Prove that there exist real constants ${a \neq 0}$ and ${b}$ such that ${f(x)=ax+b}$ for all ${x \in \Bbb{R}}.$ [i]Proposed by Zoltán Daróczy[/i]

Joaquim, José and João participate of the worship of triangle $ABC$. It is well known that $ABC$ is a random triangle, nothing special. According to the dogmas of the worship, when they form a triangle which is similar to $ABC$, they will get immortal. Nevertheless, there is a condition: each person must represent a vertice of the triangle. In this case, Joaquim will represent vertice $A$, José vertice $B$ and João will represent vertice $C$. Thus, they must form a triangle which is similar to $ABC$, in this order. Suppose all three points are in the Euclidean Plane. Once they are very excited to become immortal, they act in the following way: in each instant $t$, Joaquim, for example, will move with constant velocity $v$ to the point in the same semi-plan determined by the line which connects the other two points, and which would create a triangle similar to $ABC$ in the desired order. The other participants act in the same way. If the velocity of all of them is same, and if they initially have a finite, but sufficiently large life, determine if they can get immortal. [i]Observation: Initially, Joaquim, José and João do not represent three collinear points in the plane[/i]

Let $E \subset [0,1]$ be a Lebesgue measurable set having Lebesgue measure $| E |<\frac{1}{2}$. Let $$h (s) = \int _ {\overline {E}} \frac{dt}{{(s-t)}^2}$$ where $\overline {E} = [0,1] \backslash E$. Prove that there is one $t \in \overline {E}$ for which $$\int_E \frac {ds} {h (s) {(s-t)} ^ 2} \leq c {| E |} ^ 2$$ with some absolute constant c .

Evaluate the sum $$\sum_{n=0}^\infty\operatorname{arctan}\left(\frac1{1+n+n^2}\right).$$

Suppose that $(f_n)_{n\in N}$ be the sequence from all functions $f_n:[0,1]\rightarrow \mathbb{R^+}$ s.t. $f_0$ be the continuous function and $\forall x\in [0,1] , \forall n\in \mathbb {N} , f_{n+1}(x)=\int_0^x \frac {1}{1+f_n (t)}dt$. Prove that for every $x\in [0,1]$ the sequence of $(f_n(x))_{n\in N}$ be the convergent sequence and calculate the limitation.

Let $f(x)=\frac{1+\cos(2 \pi x)}{2}$, for $x \in \mathbb{R}$, and $f^n=\underbrace{ f \circ \cdots \circ f}_{n}$. Is it true that for Lebesgue almost every $x$, $\lim_{n \to \infty} f^n(x)=1$?

Prove that any uncountable subset of the Euclidean $ n$-space contains an countable subset with the property that the distances between different pairs of points are different (that is, for any points $ P_1 \not\equal{} P_2$ and $ Q_1\not\equal{} Q_2$ of this subset, $ \overline{P_1P_2}\equal{}\overline{Q_1Q_2}$ implies either $ P_1\equal{}Q_1$ and $ P_2\equal{}Q_2$, or $ P_1\equal{}Q_2$ and $ P_2\equal{}Q_1$). Show that a similar statement is not valid if the Euclidean $ n$-space is replaced with a (separable) Hilbert space.