The set of solutions of a proportionally modular Diophantine inequality