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.