>>276
logを用いた証明へのアプローチが対数殻だってんなら任意の数kを用いて実数例は出せるだろ