ああ既出なのか、じゃあ解答
正方形 S:=[-n/2,n/2]^2 上の実関数fを f(X)=((n/2)^2-||X||^2)^(-1/2) (||X||<n/2 の時), 0 (それ以外) と定めると、
リボンrについて ∫_(X∈S∩r) f(X)dX ≦ π が成立つ。
一方 ∫_(X∈S) f(X)dX = nπ であるから、有限のリボンの和集合がSを覆うには最低n本必要。