A cybersecurity algorithm generates security keys using integers of the form n=6k−1n = 6k - 1n=6k−1, where k∈Zk \in \mathbb{Z}k∈Z.
Prove by contradiction that there is no greatest integer of this form.
