The Lieb–Liniger model in the infinite coupling constant limit