>>358
nを7で割ったあまりで場合分けすりゃいいんじゃないの?
f(n7)のn7ってなに?