>>350
その命題は明らかに偽やろ?
∀可逆写像f:N→N ∃可逆写像g:N→N ∀k k≦∃n g(n)≧f(n)
の方が明らかに真やん。g=fにすればいいだけなんだから。