ああ、任意の<x>にたいして
<x/2>ってのがあるからだめそうですね・・・
有限とか加算の場合はどうでしょか?