MathDB
Product of density-like function is larger than 1/4

Source: Brazilian Undergrad Mathematics Olympiad 2022 P5

November 26, 2022

Problem Statement

Given XNX \subset \mathbb{N}, define d(X)d(X) as the largest c[0,1]c \in [0, 1] such that for any a<ca < c and n0Nn_0\in \mathbb{N}, there exists m,rNm, r \in \mathbb{N} with rn0r \geq n_0 and X[m,m+r)ra\frac{\mid X \cap [m, m+r)\mid}{r} \geq a.
Let E,FNE, F \subset \mathbb{N} such that d(E)d(F)>1/4d(E)d(F) > 1/4. Prove that for any prime pp and kNk\in\mathbb{N}, there exists mE,nFm \in E, n \in F such that mn(modpk)m\equiv n \pmod{p^k}