Gを非可換有限群とする
#{(a,b)∈G×G | ab = ba}/#G^2
の最大値を求めよ