お前らだったらこれぐらい解けるだろ、お願いします。

log( (n+k)Ck ) <= n+k の証明。