(arctann)n dizisinin bir büzen dizi olduğunu varsayalım. Bu durumda (∃c∈(0,1))(∀n∈N)(|xn+2−xn+1|≤c⋅|xn+1−xn|) önermesi doğrudur yani öyle bir c∈(0,1) vardır ki her n∈N için |arctan(n+2)−arctan(n+1)|≤c⋅|arctan(n+1)−arctann| yani |arctan(11+(n+1)(n+2))|≤c⋅|arctan(11+n(n+1))| yani arctan(1n2+3n+3)arctan(1n2+n+1)≤c koşulu sağlanır. Bu koşul her n∈N için sağlandığından 1=limn→∞arctan(1n2+3n+3)arctan(1n2+n+1)≤limn→∞c=c olmalıdır. Bu ise c∈(0,1) ile çelişir. Demek ki (arctann)n dizisi bir büzen dizi değilmiş.