>一般的にqが有理数だとして
>q∈[0,π^2/6−1)だからといって、qがいくつかの平方数(1を含める)の逆数の和として表せるわけじゃないよ

これはウソ
Grahamの主張と真逆のことをいってしまった(笑)