f(x)=1/xf(x)=1/xf(x)=1/x に対して y=xy=xy=x とおくと xf(y)+yf(x)=1+1=2≤2xf(y)+yf(x)=1+1=2\le2xf(y)+yf(x)=1+1=2≤2 となるので、y=xy=xy=x は xxx の友である。これが実際に唯一の yyy であることが確認でき、f(x)=1/xf(x)=1/xf(x)=1/x は条件を満たす。