Is it true that any group with arbitrarily long finite chains of subgroups has an infinite chain of subgroups?