discreteness of integers