Number of users in each city

Write an SQL query that returns the name of the city and the number of users registered in that city.

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

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

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),
('Olesya', 2);

-- the SELECT query should be here