A ladder rests against a frictionless vertical wall