A1,A2,...,Anを非負の二進数とし、
演算X・YをX,Yの各桁について排他的論理和を取った値とする。
http://www.kitasato-u.ac.jp/sci/resea/buturi/index_files/nimFAQ.html
今、A1・A2・･･･・An ≠　０が成り立つとき、
どのようなA1〜Anの組み合わせに対しても、
Ak ＞　A1・A2・･･･・A(k-1)・A(k+1)・…・An
となるようなAkが存在することを示したいのですが＞＜；