%% after xelatex run
%% pdfcrop fspsample.pdf output.pdf
%% to crop it
\documentclass{article}
\pagestyle{empty}
\usepackage{graphicx,wrapfig,xcolor}
\pagestyle{empty}
%\usepackage[greek]{babel}
%\usepackage[utf8x]{inputenc}
%\usepackage{amsfonts}

\usepackage{polyglossia}
\setdefaultlanguage{english}
\setotherlanguage{greek}

\usepackage[default]{fontsetup}%upint, newcmbb
%\usepackage[gfsartemisia]{fontsetup}
%\usepackage[gfsdidot]{fontsetup}
%\usepackage[gfsdidotclassic]{fontsetup}
%\usepackage[gfsneohellenic]{fontsetup}
%\usepackage[cambria]{fontsetup}
%\usepackage[lucida]{fontsetup}
%\usepackage[kerkis]{fontsetup}
%\usepackage[fira]{fontsetup}
%\usepackage[times]{fontsetup}
%\usepackage[palatino]{fontsetup}
%\usepackage[stixtwo]{fontsetup}
%\usepackage[neokadmus]{fontsetup}
%\usepackage[msgaramond]{fontsetup}
%\usepackage[ebgaramond]{fontsetup}
%\usepackage[minion]{fontsetup}
%\usepackage[euler]{fontsetup}
%\usepackage[neoeuler]{fontsetup}
%\usepackage[libertinus]{fontsetup}
%\usepackage[olddefault]{fontsetup}%upint, newcmbb
%\usepackage[concrete]{fontsetup}
%\usepackage[talos]{fontsetup}
%\usepackage[oldstandard]{fontsetup}
%\usepackage[xcharter]{fontsetup}% upint
%\usepackage[erewhon]{fontsetup}

\newtheorem{theorem}{Theorem}
\newtheorem{theoremg}[theorem]{Θεώρημα}

\makeatletter
\long\def\@makecaption#1#2{%
  \vskip\abovecaptionskip
  \sbox\@tempboxa{\sffamily #1: #2}%
  \ifdim \wd\@tempboxa >\hsize
   {\sffamily #1: #2}\par
  \else
    \global \@minipagefalse
    \hb@xt@\hsize{\hfil\box\@tempboxa\hfil}%
  \fi
  \vskip\belowcaptionskip}
\makeatother




\begin{document}

\begin{theorem}[Dominated convergence of Lebesgue]
%Let $g$ be an
Assume that $g$ is an
in\-te\-grable func\-tion defined on the measurable set $E$ and that
  $(\,f_n)_{n\in\mathbb N}$ is a sequence of mea\-sur\-able functions so that
  $|\,f_n|\leq g$. If $f$ is a function so that $f_n\to f$ almost everywhere
  then $$\lim_{n\to\infty}\int f_n=\int f.$$
\end{theorem}

\begin{wrapfigure}[4]{o}{0.22\textwidth}\vspace*{-1.8\baselineskip}
\begin{center}
  {\Huge\textsf{\color{lightgray}ABC}}
\end{center}
\caption{Caption in Sans fonts}
\end{wrapfigure}
\textit{Proof}: The function $g-f_n$ is \textit{non-negative} and thus from Fatou lemma
we have that $\int(g-f\,)\leq\liminf\int(g-f_n)$. Since $|\,f\,|\leq g$ and
$|\,f_n|\leq g$ the  functions $f$ and $f_n$ are integrable and we have
$$\int g-\int f\,\leq \int g-\limsup\int f_n,$$ so
$$\int f\,\geq \limsup \int f_n.$$
\par

\selectlanguage{greek}


\begin{theoremg}[Κυριαρχημένης σύγκλισης του Lebesgue]
  Έστω ότι
η $g$ είναι μια ολοκληρώσιμη συνάρτηση ορισμένη στο μετρήσιμο σύνολο
$E$ και η $(\,f_n)_{n\in\mathbb N}$ είναι μια ακολουθία μετρήσιμων συναρτήσεων ώστε
$|\,f_n| ≤ g$. Υποθέτουμε ότι υπάρχει μια συνάρτηση $f$
ώστε η  $(f_n)_{n\in\mathbb N}$ να
τείνει στην $f$ σχεδόν παντού. Τότε
$$\lim \int f_n =\int f.$$
\end{theoremg}

%% Comment for xcharter %%%
\begin{wrapfigure}[4]{o}{0.22\textwidth}\vspace*{-1.8\baselineskip}
\begin{center}
  {\Huge\textsf{\color{lightgray}ΓΨΩ}}
\end{center}
\caption{Λεζάντα σε γραμματοσειρά Sans}
\end{wrapfigure}
%%%%%%%%%%%%%%%%%%%%%%%%%%%


\textit{Απόδειξη}: Η συνάρτηση $g − f_n$ είναι \textit{μη αρνητική} και άρα από
το Λήμμα του Fatou ισχύει
$\int (f-g) ≤ \liminf \int (g-f_n)$. Επειδή
$|\,f\,| ≤ g$ και $|\,f_n| ≤g$ οι $f$ και $f_n$ είναι ολοκληρώσιμες, έχουμε
$$\int g −\int f\, ≤ \int g − \limsup\int f_n,$$
άρα
$$\int f\,\geq \limsup \int f_n.$$





\end{document}
