On the Dirichlet problem

A particular case of the Dirichlet problem is solved using the Convergence Theorem for discrete-time martingales and the mean value property of harmonic functions as the main tools.