theorem :: DIOPHAN1:24

for S being Subset of RAT
for r being Real st r is irrational & S = { p where p is Element of RAT : |.(r - p).| < 1 / ((denominator p) |^ 2) } holds
S is infinite