Svag matchende rim for ackerman's function