# Heron's method/R/Dilation by square/Exercise

Let be a positive real number and let be the Heron-sequence for the computation of with the initial value . Let , , and let be the Heron-sequence for the computation of with initial value . Show that

holds for all .