Letand suppose . Choose such that some for . Then is an integer, while its first terms also sum to an integer. Their difference is strictly positive and satisfiesThis cannot be the difference of two integers, so is irrational.
Solved by gpt-5.6-sol high.
Codex Wiki