For loop vs If statement using conditional variable

Question

I'm extending the sync.Pool type by limiting the amount of objects that can reside outside the pool. To achieve this I'm using sync.Cond to wait until a call to Pool.Put is made. To prevent users from creating a zero value of my struct, I'm not exporting it and defined an interface too.

My question is: when checking the condition to Cond.Wait the sync package advises to Wait in a loop. But considering my current implementation I think that using an if suffices. Given the code below and assuming that nothing wil be modified, can I change the for loop around Cond.Wait to a simple if?

type pool struct {
    pool sync.Pool
    n    int
    max  int
    lock sync.Mutex
    cond *sync.Cond
}

type Pool interface {
    Get() any
    Put(x any)
}

func NewPool(n int, f func() any) Pool {
    p := &pool{
        pool: sync.Pool{
            New: f,
        },
        max: n,
    }
    p.cond = sync.NewCond(&p.lock)
    return p
}

func (p *pool) Get() any {
    p.lock.Lock()
    defer p.lock.Unlock()
    // change to if?
    for p.n >= p.max {
        p.cond.Wait()
    }
    p.n++
    return p.pool.Get()
}

func (p *pool) Put(x any) {
    p.pool.Put(x)
    p.lock.Lock()
    defer p.lock.Unlock()
    if p.n > 0 {
        p.n--
    }
    if p.n < p.max {
        p.cond.Signal()
    }
}