We consider the well-known Szegö — Kolmogorov — Krein theorems on weighted approximations by functions with semibounded spectra defined on a circle or on a line and suggest an efficient construction that realizes these approximations. This construction is based on relations similar to the Cárleman formula for reconstructing analytic functions in terms of their traces on the boundary of their domains of definition.