For each real number $x$, let $\lfloor x \rfloor$ denote the largest integer not exceeding $x$. A sequence $\{a_n \}_{n=1}^{\infty}$ is defined by $a_n = \frac{1}{4^{\lfloor -\log_4 n \rfloor}}, \forall n \geq 1.$ Let $b_n = \frac{1}{n^2} \left( \sum_{k=1}^n a_k - \frac{1}{a_1+a_2} \right), \forall n \geq 1.$ a) Find a polynomial $P(x)$ with real coefficients such that $b_n = P \left( \frac{a_n}{n} \right), \forall n \geq 1$. b) Prove that there exists a strictly increasing sequence $\{n_k \}_{k=1}^{\infty}$ of positive integers such that $$\lim_{k \to \infty} b_{n_k} = \frac{2024}{2025}.$$

Find all polynomials $P(x), Q(x)$ with real coefficients such that for all real numbers $a$, $P(a)$ is a root of the equation $x^{2023}+Q(a)x^2+(a^{2024}+a)x+a^3+2025a=0.$

Let $ABC$ be an acute triangle with circumcenter $O$. Let $A'$ be the center of the circle passing through $C$ and tangent to $AB$ at $A$, let $B'$ be the center of the circle passing through $A$ and tangent to $BC$ at $B$, let $C'$ be the center of the circle passing through $B$ and tangent to $CA$ at $C$. a) Prove that the area of triangle $A'B'C'$ is not less than the area of triangle $ABC$. b) Let $X, Y, Z$ be the projections of $O$ onto lines $A'B', B'C', C'A'$. Given that the circumcircle of triangle $XYZ$ intersects lines $A'B', B'C', C'A'$ again at $X', Y', Z'$ ($X' \neq X, Y' \neq Y, Z' \neq Z$), prove that lines $AX', BY', CZ'$ are concurrent.

$k$ marbles are placed onto the cells of a $2024 \times 2024$ grid such that each cell has at most one marble and there are no two marbles are placed onto two neighboring cells (neighboring cells are defined as cells having an edge in common). a) Assume that $k=2024$. Find a way to place the marbles satisfying the conditions above, such that moving any placed marble to any of its neighboring cells will give an arrangement that does not satisfy both the conditions. b) Determine the largest value of $k$ such that for all arrangements of $k$ marbles satisfying the conditions above, we can move one of the placed marble onto one of its neighboring cells and the new arrangement satisfies the conditions above.

For each polynomial $P(x)$, define $$P_1(x)=P(x), \forall x \in \mathbb{R},$$$$P_2(x)=P(P_1(x)), \forall x \in \mathbb{R},$$$$...$$$$P_{2024}(x)=P(P_{2023}(x)), \forall x \in \mathbb{R}.$$Let $a>2$ be a real number. Is there a polynomial $P$ with real coefficients such that for all $t \in (-a, a)$, the equation $P_{2024}(x)=t$ has $2^{2024}$ distinct real roots?

For each positive integer $n$, let $\tau (n)$ be the number of positive divisors of $n$. a) Find all positive integers $n$ such that $\tau(n)+2023=n$. b) Prove that there exist infinitely many positive integers $k$ such that there are exactly two positive integers $n$ satisfying $\tau(kn)+2023=n$.

In the space, there is a convex polyhedron $D$ such that for every vertex of $D$, there are an even number of edges passing through that vertex. We choose a face $F$ of $D$. Then we assign each edge of $D$ a positive integer such that for all faces of $D$ different from $F$, the sum of the numbers assigned on the edges of that face is a positive integer divisible by $2024$. Prove that the sum of the numbers assigned on the edges of $F$ is also a positive integer divisible by $2024$.