f(4)=3のようだから要素数のようだけどMの要素数は一つに決まるから
>Mの要素の最大数をg(M)とするとき
はおかしい。