input: Write a python function to convert a string to lowercase.
  assert to_lowercase("HELLO WORLD") == "hello world"
  assert to_lowercase("Python IS Fun") == "python is fun"
  assert to_lowercase("123 ABC def") == "123 abc def"
output: def to_lowercase(s):
      return s.lower()