Inter-universal geometryとABC予想(シン応援スレ) 90

X={x1,…,xn},n≧2
f:X→N
m=max{f(xi)|1≦i≦n}
mk=max{{f(xi)|1≦i≦n,i≠k}
#{k|m≧mk}=n
#{k|m>mk}≦1
#{k|m=mk}/n=1 or 1-1/n