Let $x>1$ ,$n$ be positive integer. Prove that$$\sum_{k=1}^{n}\frac{\{kx \}}{[kx]}<\sum_{k=1}^{n}\frac{1}{2k-1}$$ Where $[kx ]$ be the integer part of $kx$ ,$\{kx \}$ be the decimal part of $kx$.

Let $a$ and $b$ be two positive integers. Prove that the integer \[a^2+\left\lceil\frac{4a^2}b\right\rceil\] is not a square. (Here $\lceil z\rceil$ denotes the least integer greater than or equal to $z$.) [i]Russia[/i]

Find all functions $f: \mathbb{R} \rightarrow \mathbb{R}$ such that for all reals $x,y,z$, we have $$(f(x)+1)(f(y)+f(z))=f(xy+z)+f(xz-y)$$

Given any positive integer $c$, denote $p(c)$ as the largest prime factor of $c$. A sequence $\{a_n\}$ of positive integers satisfies $a_1>1$ and $a_{n+1}=a_n+p(a_n)$ for all $n\ge 1$. Prove that there must exist at least one perfect square in sequence $\{a_n\}$.

Set positive integer $m=2^k\cdot t$, where $k$ is a non-negative integer, $t$ is an odd number, and let $f(m)=t^{1-k}$. Prove that for any positive integer $n$ and for any positive odd number $a\le n$, $\prod_{m=1}^n f(m)$ is a multiple of $a$.

Let $G$ be a finite group with the following property: If $f$ is an automorphism of $G$, then there exists $m\in\mathbb{N^\star}$, so that $f(x)=x^{m} $ for all $x\in G$. Prove that G is commutative. [i]Marian Andronache[/i]

Let $ x_{1},x_{2},\cdots,x_{m},y_{1},y_{2},\cdots,y_{n}$ be positive real numbers. Denote by $ X \equal{} \sum_{i \equal{} 1}^{m}x,Y \equal{} \sum_{j \equal{} 1}^{n}y.$ Prove that $ 2XY\sum_{i \equal{} 1}^{m}\sum_{j \equal{} 1}^{n}|x_{i} \minus{} y_{j}|\ge X^2\sum_{j \equal{} 1}^{n}\sum_{l \equal{} 1}^{n}|y_{i} \minus{} y_{l}| \plus{} Y^2\sum_{i \equal{} 1}^{m}\sum_{k \equal{} 1}^{m}|x_{i} \minus{} x_{k}|$

Assume that $ \alpha$ and $ \beta$ are two roots of the equation: $ x^2\minus{}x\minus{}1\equal{}0$. Let $ a_n\equal{}\frac{\alpha^n\minus{}\beta^n}{\alpha\minus{}\beta}$, $ n\equal{}1, 2, \cdots$. (1) Prove that for any positive integer $ n$, we have $ a_{n\plus{}2}\equal{}a_{n\plus{}1}\plus{}a_n$. (2) Find all positive integers $ a$ and $ b$, $ a<b$, satisfying $ b \mid a_n\minus{}2na^n$ for any positive integer $ n$.

Let $n > 1$ be an integer and let $f(x) = x^n + 5 \cdot x^{n-1} + 3.$ Prove that there do not exist polynomials $g(x),h(x),$ each having integer coefficients and degree at least one, such that $f(x) = g(x) \cdot h(x).$

Denote by $\mathbb Z^2$ the set of all points $(x,y)$ in the plane with integer coordinates.  For each integer $n\geq 0$, let $P_n$ be the subset of $\mathbb Z^2$ consisting of the point $(0,0)$ together with all points $(x,y)$ such that $x^2+y^2=2^k$ for some integer $k\leq n$.  Determine, as a function of $n$, the number of four-point subsets of $P_n$ whose elements are the vertices of a square.

A bored student walks down a hall that contains a row of closed lockers, numbered 1 to 1024. He opens the locker numbered 1, and then alternates between skipping and opening each closed locker thereafter. When he reaches the end of the hall, the student turns around and starts back. He opens the first closed locker he encounters, and then alternates between skipping and opening each closed locker thereafter. The student continues wandering back and forth in this manner until every locker is open. What is the number of the last locker he opens?

Find all non-decreasing functions $f:\mathbb R^+\cup\{0\}\rightarrow\mathbb R^+\cup\{0\}$ such that for each $x,y\in \mathbb R^+\cup\{0\}$ \[f\left(\frac{x+f(x)}2+y\right)=2x-f(x)+f(f(y)).\]

For any odd prime $p$ and any integer $n,$ let $d_p (n) \in \{ 0,1, \dots, p-1 \}$ denote the remainder when $n$ is divided by $p.$ We say that $(a_0, a_1, a_2, \dots)$ is a [i]p-sequence[/i], if $a_0$ is a positive integer coprime to $p,$ and $a_{n+1} =a_n + d_p (a_n)$ for $n \geqslant 0.$ (a) Do there exist infinitely many primes $p$ for which there exist $p$-sequences $(a_0, a_1, a_2, \dots)$ and $(b_0, b_1, b_2, \dots)$ such that $a_n >b_n$ for infinitely many $n,$ and $b_n > a_n$ for infinitely many $n?$ (b) Do there exist infinitely many primes $p$ for which there exist $p$-sequences $(a_0, a_1, a_2, \dots)$ and $(b_0, b_1, b_2, \dots)$ such that $a_0 <b_0,$ but $a_n >b_n$ for all $n \geqslant 1?$ [I]United Kingdom[/i]

Let $n$ be a positive integer, and let $b_{1}$, $b_{2}$, ..., $b_{n}$ be $n$ positive reals. Set $a_{1}=\frac{b_{1}}{b_{1}+b_{2}+...+b_{n}}$ and $a_{k}=\frac{b_{1}+b_{2}+...+b_{k}}{b_{1}+b_{2}+...+b_{k-1}}$ for every $k>1$. Prove the inequality $a_{1}+a_{2}+...+a_{n}\leq\frac{1}{a_{1}}+\frac{1}{a_{2}}+...+\frac{1}{a_{n}}$.

A sequence of positive reals $\{ a_n \}$ is defined below. $$a_0 = 1, a_1 = 3, a_{n+2} = \frac{a_{n+1}^2+2}{a_n}$$ Show that for all nonnegative integer $n$, $a_n$ is a positive integer.