Elementary properties of an energy functional of the first‐order reduced density matrix