List of cities with their population count

It is required to display the names of cities and the number of users registered in each, excluding cities with no users.

-- Table "cities"
create table cities (
    id    serial primary key,
    name  text not null
);

insert into cities (name)
values
    ('Moscow'),
    ('Saint Petersburg'),
    ('Krasnodar');

-- Table "users"
create table users (
    id      serial primary key,
    name    text not null,
    city_id int not null references cities(id)
);

insert into users (name, city_id)
values
    ('Ivan', 1),
    ('Anna', 1),
    ('Oleg', 2);