I'm trying to solve the following inequality efficiently. I am given a composite number with unknown factorization (it shall not be attempted to factor it), and a composite number with known factorization. What is more, is known along with its factorization.
A solution is a such that :
This seems impossible somehow.