Fermi sea of electrons