Found problems: 884
1975 Miklós Schweitzer, 8
Prove that if \[ \sum_{n=1}^m a_n \leq Na_m \;(m=1,2,...)\] holds for a sequence $ \{a_n \}$ of nonnegative real numbers with some positive integer $ N$, then $ \alpha_{i+p} \geq p \alpha_i$ for $ i,p=1,2,...,$ where \[ \alpha_i= \sum_{n=(i-1)N+1}^{iN} a_n \;(i=1,2,...)\ .\]
[i]L. Leindler[/i]
2000 VJIMC, Problem 4
Let $\mathcal B$ be a family of open balls in $\mathbb R^n$ and $c<\lambda\left(\bigcup\mathcal B\right)$ where $\lambda$ is the $n$-dimensional Lebesgue measure. Show that there exists a finite family of pairwise disjoint balls $\{U_i\}^k_{i=1}\subseteq\mathcal B$ such that
$$\sum_{j=1}^k\lambda(U_j)>\frac c{3^n}.$$
1998 Romania National Olympiad, 4
Let $f: \mathbb{R} \to \mathbb{R}$ be a continuous function with the property that for any $a,b \in \mathbb{R},$ $a<b,$ there are $c_1,c_2 \in [a,b],$ $c_1 \le c_2$ such that $f(c_1)= \min_{x \in [a,b]} f(x)$ and $f(c_2)= \max_{x \in [a,b]} f(x).$
Prove that $f$ is increasing.
2024 VJIMC, 3
Let $a_1>0$ and for $n \ge 1$ define
\[a_{n+1}=a_n+\frac{1}{a_1+a_2+\dots+a_n}.\]
Prove that
\[\lim_{n \to \infty} \frac{a_n^2}{\ln n}=2.\]
1967 Miklós Schweitzer, 6
Let $ A$ be a family of proper closed subspaces of the Hilbert space $ H\equal{}l^2$ totally ordered with respect to inclusion (that is
, if $ L_1,L_2 \in A$, then either $ L_1\subset L_2$ or $ L_2\subset L_1$). Prove that there exists a vector $ x \in H$ not contaied in any of the subspaces $ L$ belonging to $ A$.
[i]B. Szokefalvi Nagy[/i]
2004 Nicolae Coculescu, 2
Consider a function $ f:\mathbb{R}\longrightarrow\mathbb{R} $ that admits bounded primitives. Prove that the function $ g:\mathbb{R}\longrightarrow\mathbb{R} $ defined as
$$ f(x)=\left\{ \begin{matrix} x, & \quad x\le 0 \\ f(1/x)\cdot\ln x ,& \quad x>0 \end{matrix}\right. $$
admits primitives.
[i]Florian Dumitrel[/i]
1996 VJIMC, Problem 3
Let $\operatorname{cif}(x)$ denote the sum of the digits of the number $x$ in the decimal system. Put $a_1=1997^{1996^{1997}}$, and $a_{n+1}=\operatorname{cif}(a_n)$ for every $n>0$. Find $\lim_{n\to\infty}a_n$.
1995 Miklós Schweitzer, 10
Let $X =\{ X_1 , X_2 , ...\}$ be a countable set of points in space. Show that there is a positive sequence $\{a_k\}$ such that for any point $Z\not\in X$ the distance between the point Z and the set $\{X_1,X_2 , ...,X_k\}$ is at least $a_k$ for infinitely many k.
2023 OMpD, 2
Let $C$ be a fixed circle, $u > 0$ be a fixed real and let $v_0 , v_1 , v_2 , \ldots$ be a sequence of positive real numbers. Two ants $A$ and $B$ walk around the perimeter of $C$ in opposite directions, starting from the same starting point. Ant $A$ has a constant speed $u$, while ant $B$ has an initial speed $v_0$. For each positive integer $n$, when the two ants collide for the $n$−th time, they change the directions in which they walk around the perimeter of $C$, with ant $A$ remaining at speed $u$ and ant $B$ stops walking at speed $v_{n-1}$ to walk at speed $v_n$.
(a) If the sequence $\{v_n\}$ is strictly increasing, with $\lim_{n\rightarrow \infty} v_n = +\infty$, prove that there is exactly one point in $C$ that ant $A$ will pass "infinitely" many times.
(b) Prove that there is a sequence $\{v_n\}$ with $\lim_{n\rightarrow\infty} v_n = +\infty$, such that ant $A$ will pass "infinitely" many times through all points on the circle $C$.
2014 Olympic Revenge, 4
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$.
2012 Grigore Moisil Intercounty, 2
Let $ \left( x_n \right)_{n\ge 0} $ be a sequence of positive real numbers with $ x_0=1 $ and defined recursively:
$$ x_{n+1}=x_n+\frac{x_0}{x_1+x_2+\cdots +x_n} $$
[b]a)[/b] Show that $ \lim_{n\to\infty } x_n=\infty . $
[b]b)[/b] Calculate $ \lim_{n\to\infty }\frac{x_n}{\sqrt{\ln n}} . $
[i]Ovidiu Furdui[/i]
1960 Miklós Schweitzer, 4
[b]4.[/b] Let $\left (H_{\alpha} \right ) $ be a system of sets of integers having the property that for any $\alpha _1 \neq \alpha _2 , H_{\alpha _1}\cap H_{\alpha _2}$ is a finite set and $H_{{\alpha} _1} \neq H_{{\alpha} _2}$. Prove that there exists a system $\left (H_{\alpha} \right )$ of this kind whose cardinality is that of the continuum. Prove further that if none of the intersections of two sets $H_\alpha$ contains more than $K$ elements, then the system $\left (H_{\alpha} \right ) $ is countable ($K$ is an arbitrary fixed integer). [b](St. 4)[/b]
2018 Putnam, A5
Let $f: \mathbb{R} \to \mathbb{R}$ be an infinitely differentiable function satisfying $f(0) = 0$, $f(1) = 1$, and $f(x) \ge 0$ for all $x \in \mathbb{R}$. Show that there exist a positive integer $n$ and a real number $x$ such that $f^{(n)}(x) < 0$.
2022 Miklós Schweitzer, 5
Is it possible to select a non-degenerate segment from each line of the plane such that any two selected segments are disjoint?
1983 Miklós Schweitzer, 3
Let $ f : \mathbb{R} \rightarrow \mathbb{R}$ be a twice differentiable, $ 2 \pi$-periodic even function. Prove that if \[ f''(x)\plus{}f(x)\equal{}\frac{1}{f(x\plus{} 3 \pi /2 )}\] holds for every $ x$, then $ f$ is $ \pi /2$-periodic.
[i]Z. Szabo, J. Terjeki[/i]
2003 Gheorghe Vranceanu, 2
Let be a real number $ a $ and a function $ f:[a,\infty )\longrightarrow\mathbb{R} $ that is continuous at $ a. $ Prove that $ f $ is primitivable on $ (a,\infty ) $ if and only if $ f $ is primitivable on $ [a,\infty ) . $
1974 Miklós Schweitzer, 6
Let $ f(x)\equal{}\sum_{n\equal{}1}^{\infty} a_n/(x\plus{}n^2), \;(x \geq 0)\ ,$ where $ \sum_{n\equal{}1}^{\infty} |a_n|n^{\minus{} \alpha} < \infty$ for some $ \alpha > 2$. Let us assume that for some $ \beta > 1/{\alpha}$, we have $ f(x)\equal{}O(e^{\minus{}x^{\beta}})$ as $ x \rightarrow \infty$. Prove that $ a_n$ is identically $ 0$.
[i]G. Halasz[/i]
2011 Miklós Schweitzer, 6
Let $C_1, ..., C_d$ be compact and connected sets in $R^d$, and suppose that each convex hull of $C_i$ contains the origin. Prove that for every i there is a $c_i \in C_i$ for which the origin is contained in the convex hull of the points $c_1, ..., c_d$.
2006 District Olympiad, 4
Let $\mathcal F = \{ f: [0,1] \to [0,\infty) \mid f$ continuous $\}$ and $n$ an integer, $n\geq 2$. Find the smallest real constant $c$ such that for any $f\in \mathcal F$ the following inequality takes place \[ \int^1_0 f \left( \sqrt [n] x \right) dx \leq c \int^1_0 f(x) dx. \]
1964 Miklós Schweitzer, 6
Let $ y_1(x)$ be an arbitrary, continuous, positive function on $ [0,A]$, where $ A$ is an arbitrary positive number. Let \[ y_{n+1}=2 \int_0^x \sqrt{y_n(t)}dt \;(n=1,2,...)\ .\] Prove that the functions $ y_n(x)$ converge to the function $ y=x^2$ uniformly on $ [0,A]$.
2019 Ramnicean Hope, 1
Calculate $ \lim_{n\to\infty }\sum_{t=1}^n\frac{1}{n+t+\sqrt{n^2+nt}} . $
[i]D.M. Bătinețu[/i] and [i]Neculai Stanciu[/i]
2022 Brazil Undergrad MO, 3
Let $(a_n)_{n \in \mathbb{N}}$ be a sequence of integers. Define $a_n^{(0)} = a_n$ for all $n \in \mathbb{N}$. For all $M \geq 0$, we define $(a_n^{(M + 1)})_{n \in \mathbb{N}}:\, a_n^{(M + 1)} = a_{n + 1}^{(M)} - a_n^{(M)}, \forall n \in \mathbb{N}$. We say that $(a_n)_{n \in \mathbb{N}}$ is $\textrm{(M + 1)-self-referencing}$ if there exists $k_1$ and $k_2$ fixed positive integers such that $a_{n + k_1} = a_{n + k_2}^{(M + 1)}, \forall n \in \mathbb{N}$.
(a) Does there exist a sequence of integers such that the smallest $M$ such that it is $\textrm{M-self-referencing}$ is $M = 2022$?
(a) Does there exist a stricly positive sequence of integers such that the smallest $M$ such that it is $\textrm{M-self-referencing}$ is $M = 2022$?
2007 Nicolae Păun, 3
Construct a function $ f:[0,1]\longrightarrow\mathbb{R} $ that is primitivable, bounded, and doesn't touch its bounds.
[i]Dorian Popa[/i]
2022 Miklós Schweitzer, 1
We say that a set $A \subset \mathbb Z$ is irregular if, for any different elements $x, y \in A$, there is no element of the form $x + k(y -x)$ different from $x$ and $y$ (where $k$ is an integer). Is there an infinite irregular set?
1994 Miklós Schweitzer, 3
Let p be an odd prime, A be a non-empty subset of residue classes modulo p, $f:A\to\mathbb R$. Suppose that f is not constant and satisfies $f(x) \leq \frac{f(x + h) + f(x-h)}{2}$ whenever $x,x+h,x-h\in A$. Prove that $|A| \leq \frac{p + 1}{2}$.