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.