>>55
　a_n=a，b_n=b と略す。
　{1,2,…,b} のb個のうち {a_k} に含まれるものの数は [(b+1)/√2] 個
　{1,2,…,b-1} のb-1個のうち {a_k} に含まれるものの数は [b/√2] 個
∴ [b/√2] = [(b+1)/√2] = n-b,
　n-b ≦ b/√2，　(b+1)/√2 < n-b+1,
　n - (1 -1/√2) < (1 -1/√2)b ≦ n,
(2+√2) を掛けると題意から
　n(2+√2) -1 < b ≦ n(2+√2),
一方、定義から
　-n√2 ≦ -a < -n√2 +1,
辺々たして
　2n-1 < b-a < 2n+1
∴　b-a = 2n.