The lcm(1,2,...,n) as a product of sine values sampled over the points in Farey sequences

Recently Greg Martin derived an interesting formula for the least common multiple of {1,2,...,n}. Here, we give an exposition of a concise proof in terms of the sine function.