sizeGreaterThan tail recursive