>>542
整数からのマップをn -> 1*nに限定しても同じことじゃないか?
(∀n∈N)(∃m∈N)( b^n < m )
は成り立つんだろ?