nを自然数とする。
n次元ユークリッド空間上にm個の異なるベクトルを、
・どの異なる2つのベクトルを取っても標準内積が(�@0以下/�A0未満)である
という条件を満たすように定めることができる最大のmを求めよ