nを正の整数nとする。
相異なる正の整数a[1], a[2], …, a[n]が存在して

π/4=arctan(1/a[1])+arctan(1/a[2])+…+arctan(1/a[n])

と表せることを示せ。